Terence Tao and Caltech release Math 2.0 stack for machine-readable math

On June 1, 2026, Terence Tao and a Caltech team published a 120-page document titled "Math 2.0" outlining an open-source stack combining formal mathematics, symbolic computation and LLMs. It ships the math2py Python package, Jupyter notebooks and a REST API for querying theorems, proofs and definitions as first-class data.

• The 120-page "Math 2.0" document was published on June 1, 2026
• The stack includes the math2py package, Jupyter notebooks and a REST API
• The knowledge graph covers about 12,000 theorems
• Proof checking can be embedded into CI pipelines