OpenAI Model’s Proof of Erdős Unit Distance Problem
This proof is an important milestone for the math and AI communities. It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support.
[…]
The proof is available here. The companion paper by leading external mathematicians is available here. You can find an abridged version of the model’s chain of thought here .
