แบ่งปันความก้าวหน้าของ AI ในคณิตศาสตร์

OpenAI เผยแพร่ผลใหม่จากโมเดล frontier ภายในเกี่ยวกับปัญหาคณิตศาสตร์ที่ยังไม่มีคำตอบ และแชร์การทำ formalization ของบทพิสูจน์ Lean และรายละเอียดงานวิจัยบน GitHub

ภาษาต้นฉบับ · อังกฤษ

ตรวจสอบแล้ว · 10 ตุลาคม 2569