OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking

In three linesOpenAI's reasoning model disproved a 1946 Erdős conjecture in unit-distance geometry using unexpected algebraic number theory tools. Fields Medalist Tim Gowers calls it "a milestone in AI mathematics."

Summary generated by Claude — human-verified