blog — Terence Tao — 12 Sep 2026
After Math
#ai-mathematics #mathematical-practice #proof-verification
[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School for Advanced Studies IUSS Pavia) Eamon Duede (Princeton University and Purdue University) On September 8th, 2026, OpenAI announced that it had […]