Last week, I sat down to write about coming to terms with the pace of AI progression.
Between posting and editing, AI solved a millennium prize problem.
That only strengthens my conviction: We will never have "normal times" again.
www.tracingwoodgrains.com/p/we-will-never-have-normal-times-again
Clay Mathematics Institute (which selected and pays prizes for Millennium Prize Problems) has also made a statement.
"Today, CMI shares in the excitement of the global mathematical community as we contemplate the announcement that the Navier-Stokes problem has apparently been settled."
European Mathematical Society published similar statement. It doesn't go as far as avoiding mentioning AI at all but heavily emphasizes role of humans and worries about credit.
It mentions that "progress had also recently been made" by Alpöge&Buckmaster but doesn't indicate it's part of the chain.
This week, OpenAI claimed to have solved a legendary Millennium Prize mathematics problem. In normal circumstances, this would have been celebrated as a historic achievement.
Instead, many mathematicians see OpenAI as a glory-hungry interloper.
Read more: www.theverge.com/ai-artificia...
AHM communications group This is a short announcement about the birth of the Association for Human Mathematics (AHM), an organization run collectively by mathematicians at all career stages. Its main goal is to protect mathematics and its practitioners from the jaws of AI companies, whose actions are increasingly destructive to our discipline, to the environment, and to […]
It’s heen covered as nauseum here, but it’s nice to see more mianstream media calling out OpenAI here. https://www. theverge.com/ai-artificial-int elligence/992953/openai-math-millennium-prize-navier-stokes # AI # Math # NavierStokes
It’s heen covered as nauseum here, but it’s nice to see more mianstream media calling out OpenAI here. https://www.theverge.com/ai-artificial-intelligence/992953/openai-math-millennium-prize-navier-stokes #AI #Math #NavierStokes
The economists are mad at the Fields Medalists for finally realizing that genAI is not good for the field?
OpenAI says it solved the Navier-Stokes Millennium Prize problem with 10,000 agents, tens of millions of dollars, and 88 hours — and mathematicians are unsettled.
A new report pins May's RubyGems package attack on OpenAI agents, which OpenAI never disclosed to the … https://veriwire.news
‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp. As OpenAI model cracks Millennium Prize Problem that puzzled experts for decades, many feel shocked at pace of change.
https://www.theguardian.com/science/2026/sep/12/openai-mathematicians-millennium-prize-problem
https://www. theverge.com/ai-artificial-int elligence/994255/openai-millennium-prize-problem-tristan-buckmaster-competition
OpenAI Is Beefing With Mathematicians, Will No Longer Sponsor Caltech ‘Mathathon’ 🔗 https:// gizmodo.com/openai-is-beefing- with-mathematicians-will-no-longer-sponsor-caltech-mathathon-2000810868 # AI # Artificialintelligence # Technology # Tech # OpenAI # Maths # Mathematics # Math # CalTech
I signed both statements. I agree with @minimaliste13.cpesr.fr 's critique of the Fields Medalists' letter and am more aligned with the AHM one, both I think both of them are important to have out there.
openai just claimed a solution to one of the millennium prize problems - but many mathematicians are feeling uneasy about its relentless march through the field. what does thi... https://www.theverge.com/ai-artificial-intelligence/994255/openai-millennium-prize-problem-tristan-buckmaster-competition
I have no love for ai bros! Those who want to replace everything by AI should be crushed by their own machines.
I'm just trying to get at the undercurrent of math resentment generally. So many of the students I teach have a trauma response to math.
OpenAI has spent the last few years planting flags across the increasingly difficult terrain in mathematics. This we...
#TheVerge #breakingnews #news #othur
AI is ruining things of beauty, mystery and creativity. Hate it.
‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp
Manuel Rivera, Associate Professor at Purdue University I’ve been recently following some interesting debates about the future of mathematics in the age of AI. I think many discussions about how AI is “disrupting” or “changing” (pure) mathematics tend to conflate, or at least fail to distinguish between, three interlocked interpretations of mathematics: (1) Mathematics itself, […]
"The most precious resources of our profession are students and ideas, and these we nurture with great care. ... "In many fields and activities, years of training have traditionally served not only to produce a final answer or product, but also to develop understanding and the ability to formulate new questions and ideas. ... "The issues the mathematical community faces now are similar to issues t…
‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs https:// fed.brid.gy/r/https://www.wire d.com/story/mathematician-steven-strogatz-grapples-with-ai-recent-breakthroughs/
Yes, I agree. I took endorsement of the Fields medalist statement to mean (for me) they have identified something real and I agree with their description of the disconnect. I took AHM much more seriously as a commitment I'm making to actually do something about it in my mathematical practice!
I do think that formal verification will become/has become usable on a much larger scale due to AI though this isn't an observation original to me obviously.
blog.janestreet.com/formal-metho...
I was kind of inspired by reading this from Rinard
arxiv.org/abs/2605.01660
[This is a guest post by Burt Totaro. This blog post was initially written in a different file format and converted using AI. — T.] These are strange times for mathematicians. It now seems possible that AI companies will burn through vast resources in order to prove some new fact about the Hodge conjecture. I’d […]
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have also posted our declaration on this web page, and (similarly to the Leiden declaration) invite further signatures. (It is unfortunate that […]
https:// terrytao.wordpress.com/2026/09 /11/on-the-existence-of-non-sofic-groups/
[This is a guest post by Andreas Thom. This blog post was initially written in a different file format and converted using AI. — T.] When I woke up on August 1st, 2026, I had received a few emails from colleagues asking for my opinion on a remarkable result that had circulated the previous day. […]
What Lean checked and Astra didn't: two kinds of verification, one week apart. ~ Scott J. McCormick. https://www. researchgate.net/publication/4 14030431_What_Lean_Checked_and_Astra_Didn't_Two_Kinds_of_Verification_One_Week_Apart # AI4Math
[This is a guest post by Lucas Fagan. This blog post was initially written in a different file format and converted using AI. — T.] I am excited to announce the Andrews–Curtis Conjecture Challenge, which opens today. This challenge is a collaboration between the SAIR Foundation and the Math-AI group at Caltech, organized by Sergei […]
The Real Story in OpenAI's Navier-Stokes Proof: Formal Verification Got 10,000x Cheaper
explainx.ai/blog/lean-4-...
Galyna V. Livshyts, associate professor at Georgia Tech When you realize that your opinion differs from seemingly everyone else’s, your first instinct is to keep quiet. But that is the wrong instinct. So I shall speak up. Imagine two high school kids taking a quiz that involves computing a derivative. They finish almost simultaneously. Suddenly, […]
Oren Hartstein, undergraduate at Columbia University and author of a blog LLMs have become shockingly good at math. They solve competition problems, assist with research, and are improving fast enough that some fear human mathematicians are becoming marginal. I want to make the opposite critique: LLMs aren’t nearly good enough at math, and the way […]
Marcolli writes: "What is for us humans the act of doing mathematics? I’d say mathematics is two very important things at once: a language to make sense of reality and a form of self-expression, much like the arts. When seen from this perspective, the existence of artificial intelligences that can generate solutions to mathematical problems becomes essentially irrelevant, and is just left to…
Mathilde Marcolli writes: "What is it about all of these famous and less famous, invariably hard, Big Problems™? There is an undeniable sense in which these questions are interesting. Typically they are because, in the process of thinking about a particularly hard question, a lot of new mathematics gets developed that advances the field as a whole. The Riemann hypothesis is currently unsolved…
[JP] OpenAIがナビエ・ストークス方程式の証明でLean 4形式証明を同時公開！検証時間を13万時間から17時間へ激減させた革命 [EN] OpenAI Releases Lean 4 Formal Proof for Navier-Stokes Equation, Slashing Verification T…
#Lean4 #OpenAI #形式検証 #AI #Tech
[This is a guest post by Anima Anandkumar. This blog post was initially written in a different file format and converted using AI. — T.] The last few days have been a flurry of activity. After months of sleepless nights and diving deep into different mathematical and computational tools to tackle the open problem of […]
mathematicians now feel like they have to be secretive about what they do in case it gets stolen by AI. graph theorists arent too worried about this though because they’ve already been doing discreet mathematics
Professor Lew Ludwig's new Math Values post asks: When does AI help students learn, and when does it just help them finish? Read more: https://maa.org/math-values/there-and-back-again-the-cost-of-a-fast-answer/
AI software completes a formal proof of Fermat’s Last Theorem. ~ David H Bailey. https:// mathscholar.org/2026/09/ai-sof tware-complete-a-formal-proof-of-fermats-last-theorem/ # AI4Math