งานวิจัย
OpenAI ปล่อยงานพิสูจน์คณิตศาสตร์ 10 ข้อพร้อม Lean certificate — ปลดล็อกปัญหาเปิดที่ค้างมาหลายสิบปี รวมถึง non-sofic group
1 สิงหาคม 2026 OpenAI เผยแพร่เปเปอร์ 249 หน้าและรีโป openai/ten-proofs (Apache-2.0) รวมผลลัพธ์ 10 ข้อในคณิตศาสตร์และทฤษฎีการคำนวณที่ 'โมเดลภายในของ OpenAI' หาได้เอง — รวมถึงการสร้าง non-sofic group ที่ค้างมาตั้งแต่ปี 1999 และการล้ม Connes's rigidity conjecture — ทุกข้อมาพร้อม formal proof ใน Lean 4 ที่ตรวจซ้ำได้เอง
· อ่าน 7 นาที