แท็ก
3 บทความ
1 สิงหาคม 2026 OpenAI เผยแพร่เปเปอร์ 249 หน้าและรีโป openai/ten-proofs (Apache-2.0) รวมผลลัพธ์ 10 ข้อในคณิตศาสตร์และทฤษฎีการคำนวณที่ 'โมเดลภายในของ OpenAI' หาได้เอง — รวมถึงการสร้าง non-sofic group ที่ค้างมาตั้งแต่ปี 1999 และการล้ม Connes's rigidity conjecture — ทุกข้อมาพร้อม formal proof ใน Lean 4 ที่ตรวจซ้ำได้เอง
โมเดล AI ภายในของ OpenAI สร้างตัวอย่างค้าน (counterexample) ที่หักล้างข้อสันนิษฐาน planar unit distance ที่ Paul Erdős ตั้งไว้ตั้งแต่ปี 1946 ใช้เครื่องมือจาก algebraic number theory นักคณิตศาสตร์รางวัล Fields อย่าง Timothy Gowers บอกว่าถ้ามนุษย์ส่งบทพิสูจน์นี้ เขาจะแนะนำให้ตีพิมพ์ใน Annals of Mathematics ทันที ขณะที่ DeepMind ก็ใช้โมเดลของตนแก้ปัญหาเปิดอีก 9 ข้อของ Erdős ในสัปดาห์เดียวกัน
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 เดิม