OpenAI Model’s Proof of Erdős Unit Distance Problem

OpenAI (Hacker News): 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 […]