AI แตกปัญหาคณิตศาสตร์: OpenAI ล้มล้าง Erdős Unit Distance Conjecture อายุ 80 ปี
by needhelp
OpenAI
Mathematics
Erdős
AI Reasoning
Discrete Geometry
20 พฤษภาคม 2026 OpenAI ประกาศว่าโมเดล reasoning ทั่วไปภายในของมันแก้ปัญหาการเปิดศูนย์กลางใน discrete geometry—Erdős unit distance problem—ล้มล้าง conjecture ที่ครอบงำสาขามาเกือบ 80 ปี
ปัญหา
ในปี 1946 Paul Erdős ถาม: ให้ (n) จุดบนระนาบ มีคู่ที่ห่างกัน 1 หน่วยมากที่สุดเท่าไหร่?
80 ปีของฉันทามติทางคณิตศาสตร์
| ผลลัพธ์ | ปี | ประเภท | สูตร |
|---|---|---|---|
| Erdős lower bound | 1946 | ขอบเขตล่าง | (n^{1 + c/\log\log n}) |
| SST upper bound | 1984 | ขอบเขตบน | (O(n^{4/3})) |
| AI พลิก | 2026 | ขอบเขตล่างใหม่ | (\geq n^{1+\delta}) |
การยืนยันอิสระ
นักคณิตศาสตร์ชั้นนำยืนยัน: Tim Gowers (Fields Medalist), Noga Alon, Arul Shankar, Thomas Bloom
อ้างอิง
- OpenAI Blog
- arXiv: 2605.20695