Kevin Barreto

New Capabilities

Pioneering amateur use of AI theorem provers

On May 20, 2026, OpenAI disclosed that an internal AI model had found a counterexample to the planar unit distance conjecture, a problem Erdős posed in 1946. Mathematicians who checked the result say it is a genuine advance, the first historically significant proof by an AI model.

Updated Oct 16