OpenAI's AI model solves Paul Erdős' 80-year-old geometry puzzle, earning praise from Princeton mathematicians.

Jahrzehntelang bissen sich Mathematiker:innen an einer Theorie die Zähne aus. KI hat jetzt einen Lösungsvorschlag geliefert, der in der Mathematik-Szene für große Aufregung sorgt.…

OpenAI's AI model solves Paul Erdős' 80-year-old geometry puzzle, earning praise from Princeton mathematicians.

I tried to explain OpenAI’s solution more clearly than OpenAI did.

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.