Shouqiao Wang on Twitter / X

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

AI contributions to Erdős problems

A community database for the problems on the erdosproblems.com site - teorth/erdosproblems

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

Math is hard.

What sort of maths are LLMs good at?

For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…

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.

New Math from OpenAI

It is kind of a huge deal.

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

"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.

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

GPT-5

Our hands-on review of OpenAI’s newest model based on weeks of testing

Introducing GPT-5.4

Introducing GPT-5.4, OpenAI’s most most capable and efficient frontier model for professional work, with state-of-the-art coding, computer use, tool search, and 1M-token context.

Advancing Mathematics Research with AI-Driven Formal Proof Search

Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to generate formal proofs in languages like Lean. We perform the first large-scale evaluation of this method's ability to solve open problems. Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures, and is being deployed in combinatorics, optimization, graph theory, algebraic geometry, and quantum optics research. A basic agent alternating LLM-based generation with Lean-based verification replicated the Erdős successes but proved costlier on the hardest problems. These findings demonstrate the power of AI-aided formal proof search and shed light on the agent designs that enable it.

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.