งานวิจัย
AI พิสูจน์ 'ผิด' ทฤษฎีของ Erdős — โมเดล general-purpose ของ OpenAI หักล้าง unit distance conjecture อายุ 80 ปี
OpenAI ประกาศว่าโมเดล general-purpose reasoning ภายในของบริษัทค้นพบ counterexample ที่หักล้าง central conjecture ของ discrete geometry ที่ Paul Erdős ตั้งคำถามไว้ตั้งแต่ปี 1946 — เป็นครั้งแรกที่ AI ทั่วไป (ไม่ใช่ระบบ math-specialized) แก้ปัญหาเปิด (open problem) ของวงการคณิตศาสตร์ได้เอง พิสูจน์โดย infinite family ของตัวอย่างที่ให้ polynomial improvement เหนือ square-grid construction เดิม
· อ่าน 5 นาที