#mathproofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathproofs, aggregated by home.social.
-
Another day of signing into mastodon only to be greeted by yet another of Terence Tao's incredibly high quality updates on the usage of LLMs in generating math proofs.
It is just wonderful.