An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

A New Declaration Warns AI Could Threaten the Foundations of Mathematics

Today, 16 mathematicians in consultation with peers and relevant organizations published the Leiden Declaration on Artificial ...
The Next Web

The world’s mathematicians just issued a formal declaration telling AI companies to stop using their work without permission

The IMU-endorsed Leiden Declaration warns that AI threatens proof integrity, attribution, and research autonomy, calling on mathematicians to protect their discipline from corporate exploitation.

As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...
Hosted on MSN

'Proof by intimidation': AI is confidently solving 'impossible' math problems. But can it convince the world's top mathematicians?

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...
Tech Times

AI Math Proof Milestone: DeepMind Cracks 9 Erdős Problems, Magnetar Confirmed

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it

Axiom Math, a $1.6B AI unicorn, is building a formally verified library of economic theorems — and already found gaps in the ...