Ill-Posed

blog — Terence Tao — 16 Sep 2026

Proofs, Prompts and Posts

#ai-mathematics #proof-assistants #mathematical-practice

Read the source →

[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 […]

0 comments