OpenAI’s recent claim of solving a Millennium Prize problems causes both celebration and controversy ...

Meta says Muse Spark helped researchers answer five open math questions through its regular chat interface, with experts guiding and checking the work.

ChatGPT maker unveils more than 700 papers tackling 377 previously unsolved math problems, including challenges linked to ...

Having AI solve difficult mathematical problems.In recent years, that in itself has become nothing unusual.Mathematical Olympiads.University-level problems.Extremely difficult proof problems.The ...

Why would you want to ruin your career?” an OpenAI exec told him. “If you don’t want me to be nice, then I don’t have to be nice.” ...

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

OpenAI publishes 722 AI-generated math papers after its models outgrew benchmarks. See what's solved and what's unverified.

On the morning of October 7, 2026, news sites were filled with headlines claiming, 'OpenAI's internal AI claims to have ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in ...