Why AI Sudden Excels at Solving Math Problems: Starting from Erdős Unit Distance Counterexample
The author analyzes how OpenAI used an internal model in May to provide a counterexample to the 1946 Erdős unit distance conjecture, followed by proofs on Cycle Double Cover and Navier-Stokes related problems. Anthropic also released results on the formalization of Fermat's Last Theorem and bounds for the Riemann Hypothesis.
Return to original text
A short introduction is retained here; the full text from the source website is not reposted. For specific wording and subsequent updates, please refer to the original article.
Open AIHOT original