Skip to content
corpus.blogBeta
Record · antomon.github.io

Math 2.0: Beyond the Theorem Factory

antomon.github.io · 11 October 2026 · 88 min read

A post on antomon.github.io, published 11 October 2026, has not been cited by any blog yet (corpus.blog, measured 16 October 2026).

A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.

Read at antomon.github.io (opens in a new tab) Wayback capture (opens in a new tab)

0blogs citing

Citing blogs and links by period
Period Blogs Links
All time00
Last 90 days00
Last 30 days00
Last 7 days00
Figures for this page
Words blogs link it with0
External links54
Length20,193

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Math 2.0 Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf Who cites this page
teorth.github.io
A Severe Misalignment of AI in Mathematics Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
Sharing AI progress in mathematics Read at openai.com (opens in a new tab)
openai.com
https://arxiv.org/abs/2608.16753 Who cites this page
arxiv.org
100+ reactions to 100+ solutions Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
https://lean-lang.org/doc/reference/latest/ValidatingProofs/ Who cites this page
lean-lang.org
https://github.com/leanprover-community/mathlib4 Who cites this page
github.com
https://teorth.github.io/tao-web/ai-views.html Who cites this page
teorth.github.io
“Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.” Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
The technical debt of AI-generated mathematics Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
If math is more than proof, we need to better celebrate the rest of it Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://terrytao.wordpress.com/2025/12/09/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://teorth.github.io/equational_theories/ Who cites this page
teorth.github.io
Third SAIR competition: inverse Galois challenge Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://github.com/openai/math Who cites this page
github.com
https://github.com/openai/math/blob/main/history.md Who cites this page
github.com
https://arxiv.org/abs/2606.18119 Who cites this page
arxiv.org
https://1stproof.org/second-batch.html Who cites this page
1stproof.org
https://agmai.org/statement-oct6/ Who cites this page
agmai.org
Mathematics Distillation Challenge – Equational Theories Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
A crowdsourced project to link up erdosproblems.com to the OEIS Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
A crowdsourced repository for optimization constants? Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
Changes to the Erdős problems web site Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://arxiv.org/abs/0712.1320 Who cites this page
arxiv.org
https://doi.org/10.1090/S0273-0979-1994-00502-6 Who cites this page
doi.org
https://arxiv.org/abs/2605.00301 Who cites this page
arxiv.org
A digestion of the Jacobian conjecture counterexample Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
Joint Statement about Mathathon Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
The integrated explicit analytic number theory network Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://www.mathinstitutes.org/videos/24833 Who cites this page
mathinstitutes.org
https://github.com/AlexKontorovich/PrimeNumberTheoremAnd Who cites this page
github.com
Writing mathematics in the age of AI Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
Hexagon Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
https://hexagonmath.org Who cites this page
hexagonmath.org
https://www.fda.gov/regulatory-information/search-fda-guidance-documents/m15-general-principles-model-informed-drug-development Who cites this page
fda.gov
https://www.nist.gov/itl/ai-risk-management-framework Who cites this page
nist.gov
https://arxiv.org/abs/2609.21132 Who cites this page
arxiv.org
https://arxiv.org/abs/2609.28140 Who cites this page
arxiv.org
Recommendations of the Summit on PhD Math Education in the Age of AI Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
What should we tell our students? Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
The reverse-centaur problem: LLMs and the choices ahead Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
Where will all the papers go? Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
Dear conferences, journals, and hiring committees: don’t wait for everyone else Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
SAIR’s Open Math Model initiative Who cites this page
terrytao.wordpress.com
AHM Statement on OpenAI’s October 6 Release of Mathematical Documents Read at terrytao.wordpress.com (opens in a new tab)
terrytao.wordpress.com
Transforming Mathematics Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com
https://docs.lean-lang.org/theorem_proving_in_lean4/Propositions-and-Proofs/ Who cites this page
docs.lean-lang.org
https://lean-lang.org/doc/reference/latest/The-Type-System/Propositions/ Who cites this page
lean-lang.org
https://lean-lang.org/doc/reference/latest/Tactic-Proofs/ Who cites this page
lean-lang.org
https://leanprover-community.github.io/contribute/how-to-contribute.html Who cites this page
leanprover-community.github.io
https://github.com/long-mathematics/openai-math-extensions Who cites this page
github.com
https://aixiv.online/list/all Who cites this page
aixiv.online
YAPOAI (Yet Another Post on AI): AI, understanding, and mathematical work Read at proofsandprompts.com (opens in a new tab)
proofsandprompts.com

Similar posts

AIが数学の未解決問題を解決しまくる現代に数学者テレンス・タオ氏が提言する「Math 2.0」とは？
gigazine.net
13 Oct 2026
A Severe Misalignment of AI in Mathematics
Terence Tao
11 Sept 2026
“A Severe Misalignment of AI in Mathematics”
Leiter Reports – News and views about philosophy, the academic profession, academic freedom, intellectual culture, and other topics. The world's most popular philosophy blog, since 2003.
12 Sept 2026
The Proof Nobody Read
dalevross.rosssquared.org
14 Oct 2026
A Changing Field
Tech Blog - Matthew Gaudet
11 Oct 2026
Two responses to “A Severe Misalignment of AI in Mathematics”
proofsandprompts.com
18 Sept 2026
AI-Generated Mathematical Results and the New Verification Crisis
geoffreychen.com
11 Oct 2026
Joint Statement about Mathathon
Terence Tao
28 Sept 2026
Open Letter about the Mathathon
proofsandprompts.com
10 Sept 2026
OpenAI Math Manuscripts: 722 Papers, One Secret Model
byteiota.com
7 Oct 2026

Looking for more like this? Find posts and blogs like it
Something wrong here? Report a problem