AI Solved an 80-Year-Old Math Problem That Stumped Humans

Last week, OpenAI made history.

An AI model autonomously disproved a famous 80-year-old conjecture by legendary mathematician Paul Erdős — the Planar Unit Distance Problem. For decades, mathematicians believed the maximum number of unit distances among n points in a plane grew almost linearly. The AI found a completely new construction that proves it's polynomial — a clear improvement.

This is widely regarded as the first time AI has independently solved a major, long-standing open problem in mathematics.

Verified by top human mathematicians including Fields Medalist Timothy Gowers, Noga Alon, and others. Gowers said if a human submitted this proof, he would accept it for the Annals of Mathematics without hesitation.

This breakthrough raises big questions: Is AI about to accelerate scientific discovery beyond human limits?

Sources:
• Official OpenAI Announcement: https://openai.com/index/model-disproves-discrete-geometry-conjecture/
• AI-Generated Proof: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
• Human Experts' Verification Paper: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
• Paul Erdős Wikipedia: https://en.wikipedia.org/wiki/Paul_Erd%C5%91s

#OpenAI #AI #Mathematics #Erdos #Science

Видео AI Solved an 80-Year-Old Math Problem That Stumped Humans канала Cloud9 Learning