Noam Brown on Twitter / X

Rules for the Millennium Prize Problems

The revised rules for the Millennium Prize Problems were adopted by the Board of Directors of the Clay Mathematics Institute on 26 September, 2018.  Please read this document carefully before contacting CMI about a proposed solution.  In particular, please note that:

98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a… | Czech Technical University in Prague | 11 comments

98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a combinatorics problem solved by researchers from the Faculty of Information Technology CTU in Prague. Alexander Clifton, Daniela Černá and Jan Volec, together with Bartołomiej Kielak from Universität Leipzig , found the solution to a simplified version of the long-standing open problem of breaking triples with permutations. The problem was later included among the 100 tasks used to test how today's AI models perform in advanced mathematics. While AI came remarkably close, this was one of the problems it couldn't solve on its own. A nice reminder that mathematical creativity and abstract reasoning still leave some room for humans. 🧠 🔗 Read the full story in the comments. | 11 comments on LinkedIn

Thomas Wolf on Twitter / X

wtf is this way to handle mathematicians work and scientific communicationTLDR: Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and… https://t.co/zNozwkFcFO pic.twitter.com/XcefJ17AQe— Thomas Wolf (@Thom_Wolf) September 8, 2026

Michael Truell on Twitter / X

We believe Cursor discovered a novel solution to Problem Six of the First Proof challenge, a set of math research problems that approximate the work of Stanford, MIT, Berkeley academics. Cursor's solution yields stronger results than the official, human-written solution.…— Michael Truell (@mntruell) March 3, 2026

AI Has Solved One of Math’s $1 Million Millennium Prize Problems | Quanta Magazine

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy.

We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an… | Tony Yue YU | 20 comments

We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an open math problem. Applications are live at https://lnkd.in/d79qFQ4s We look forward to seeing you all on October 30 at Caltech! Sathvik Redrouthu Bufan Zhao Andrea Li Caiman Moreno-Earle Avni Garg | 20 comments on LinkedIn

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

Timothy Gowers @wtgowers on Twitter / X

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Math is hard.

Deedy on Twitter / X

The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended.I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of 42/42 (repo below if you want to check their solutions):— Claude Fable 5 was the… pic.twitter.com/6oH7FiAjEP— Deedy (@deedydas) July 21, 2026

"GPT 話你知": Thoses tasks surpassed by LLMs - Blog - Qingyu✨'s blog

We are publishing a list of QOJ problems for which LLMs, mostly GPT, have found solutions that are significantly faster than the authors’ intended solutions. If you would like to submit additional problems for inclusion in this list, please write an editorial on QOJ in the problem forum, mark it as anonymous, and leave a comment below.

No, AI hasn’t officially solved Navier–Stokes. Yet

PropAIganda, now with a Millennium Prize Problem

OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

Can AI replace mathematicians? Vienna researchers weigh in

In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.

The Winning Variant

A/B testing, algorithmic optimization, and the small act of ignoring both — and what it means to make something by hand when a number can tell you what would have worked better.