corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0d4f0-a50d-72f2-a096-0c719447e463

AI Agents Are Solving Open Problems and Changing What Mathematics Is For

antomon.github.io · published 13 September 2026

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

Read the post at antomon.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
34
Words captured
16,577

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
On the Navier–Stokes Millennium Prize Problem Read at the source ↗
openai.com
https://4m4.it/posts/after-proof-abundance-palomar-and-the-new-infrastructure-of-mathematical-trust/
4m4.it
Navier-Stokes Announcement Read at the source ↗
claymath.org
https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf
claymath.org
https://www.icmat.es/es/actualidad/11-09-26/
icmat.es
https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/
quantamagazine.org
https://doi.org/10.5281/zenodo.22737751
doi.org
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf
cdn.openai.com
Research acceleration: The view inside OpenAI Read at the source ↗
openai.com
An OpenAI model has disproved a central conjecture in discrete geometry Read at the source ↗
openai.com
https://doi.org/10.48550/arXiv.2605.20695
doi.org
https://doi.org/10.48550/arXiv.2608.00222
doi.org
https://doi.org/10.5281/zenodo.21514514
doi.org
https://www.anthropic.com/research/riemann-zeta
anthropic.com
Ten advances in mathematics and theoretical computer science Read at the source ↗
openai.com
https://doi.org/10.48550/arXiv.2603.04735
doi.org
https://arxiv.org/abs/2609.11576
arxiv.org
https://www.anthropic.com/research/formalizing-fermats-last-theorem
anthropic.com
Navier-Stokes – Tristan Buckmaster [pdf] Read at the source ↗
cims.nyu.edu
https://github.com/openai/NavierStokesAndEuler
github.com
https://lean-lang.org/doc/reference/latest/ValidatingProofs/
lean-lang.org
https://www.claymath.org/millennium-problems/rules/
claymath.org
https://doi.org/10.5281/zenodo.20302944
doi.org
https://euromathsoc.org/news/leiden-declaration-on-artificial-intelligence-and-mathematics-224
euromathsoc.org
Why I didn’t sign the Fields medallists’ letter Read at the source ↗
gowers.wordpress.com
“Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.” Read at the source ↗
terrytao.wordpress.com
The technical debt of AI-generated mathematics Read at the source ↗
terrytao.wordpress.com
Why I do mathematical research Read at the source ↗
terrytao.wordpress.com
Fast math/slow math Read at the source ↗
terrytao.wordpress.com
https://doi.org/10.48550/arXiv.1803.04585
doi.org
https://doi.org/10.48550/arXiv.2602.16763
doi.org
https://doi.org/10.1038/s41586-025-09962-4
doi.org
https://doi.org/10.1038/d41586-026-02886-7
doi.org
https://www.unesco.org/en/legal-affairs/recommendation-open-science
unesco.org