งานวิจัย
OpenAI เปิดรีโป openai/math: ผลงานคณิตศาสตร์ 722 ฉบับจากโมเดลภายในที่ยังไม่เปิดตัว — อ้างพิสูจน์ quasi-Riemann hypothesis และ Unique Games Conjecture พร้อม Lean กว่า 25 ล้านบรรทัด แต่ยังไม่มีนักคณิตศาสตร์ภายนอกตรวจ และ AGMAI ย้ำว่า "ไม่รับรอง"
6 ต.ค. 2026 OpenAI ปล่อยรีโป openai/math (Apache-2.0) ที่มีต้นฉบับคณิตศาสตร์ 722 ฉบับใน 372 กลุ่มผลลัพธ์ ทั้งหมดสร้างโดยโมเดลภายในที่ยังไม่เปิดตัว ผลเด่นคือ quasi-Riemann hypothesis (ฟังก์ชันซีตาไม่มีศูนย์ใน Re s > 7/8) ซึ่งมีบทพิสูจน์ใน Lean รอให้คนตรวจ แต่ใน catalogue ของรีโปเองยังเขียนสถานะว่า review: unchecked และกลุ่ม AGMAI ออกแถลงการณ์วันเดียวกันว่าการให้คำแนะนำครั้งนี้ไม่ใช่การรับรองผล
· อ่าน 7 นาที
