blog — Terence Tao — 16 Sep 2026
Proofs, Prompts and Posts
#ai-mathematics #proof-assistants #mathematical-practice
[This is a guest post by the editors of the communal blog Proofs and Prompts. This blog post was initially written in a different file format and converted using AI. — T.] In the mathematical community, AI became a central conversation topic months before we started our communal blog, called Proofs and Prompts. Some of […]