OpenAI's Model Solved an 80-Year Old Math Problem

OpenAI claims their model has solved a problem first posed by Paul Erdős in 1946. Fields medalist Timothy Gowers is among the group of human mathematicians who helped verify the AI result's accuracy. What does this mean for the future of math? OpenAI blog post: https://openai.com/index/model-disproves-discrete-geometry-conjecture/ Model Proof: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf Human mathematician remarks: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf Modified Model Chain of Thought: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf Timothy Gowers' X post: https://x.com/wtgowers/status/2057175727271800912