OpenAI เปิดตัวต้นฉบับคณิตศาสตร์ AI 722 ชิ้นในคราวเดียว วงการคณิตศาสตร์เริ่มตรวจสอบ

动察 Beating ข่าวด่วน AI OpenAI ได้เปิดเผยผลลัพธ์ทางคณิตศาสตร์ชุดหนึ่งที่สร้างโดยโมเดล前沿ภายในที่ยังไม่เปิดตัว จำนวน 722 ฉบับ จาการประเมินปัญหาการวิจัยเปิดประมาณ 4,000 ข้อ หลายฉบับมุ่งเน้นไปที่ผลลัพธ์หลักเดียวกัน เมื่อรวมแล้วจะสอดคล้องกับผลลัพธ์ที่เชื่อมโยงกัน 372 กลุ่ม

ในจำนวนนี้ มีหลายรายการที่แตะต้องปัญหาสำคัญที่ยังไม่ได้รับการแก้ไขมาเป็นเวลานาน โมเดลได้ให้การพิสูจน์ข้อสันนิษฐาน Unique Games; พิสูจน์ว่าฟังก์ชันซีตาของรีมันน์ไม่มีศูนย์ในบริเวณที่ส่วนจริงมากกว่า 7/8 ซึ่งเรียกว่า "ข้อสันนิษฐานกึ่งรีมันน์"; ยังจัดการกับข้อสันนิษฐาน Hodge แบบตรรกยะบน CM abelian varieties และปัญหาตัวประกอบของกลุ่มอิสระที่ค้างคามาตั้งแต่ทศวรรษ 1940 ในจำนวนนี้ ผลลัพธ์เช่น Unique Games, กึ่งรีมันน์ และตัวประกอบของกลุ่มอิสระได้แนบการพิสูจน์แบบ Lean มาด้วย ซึ่งคอมพิวเตอร์สามารถตรวจสอบกระบวนการพิสูจน์ได้

อย่างไรก็ตาม ผลลัพธ์ชุดนี้ยังไม่สามารถถือเป็นข้อสรุปที่แน่นอนได้ทั้งหมด OpenAI ระบุว่าระดับการตรวจสอบของผลลัพธ์แต่ละรายการไม่สม่ำเสมอกัน ส่วนที่ไม่มีรูปแบบการพิสูจน์ยังอาจมีข้อผิดพลาดได้ คณะที่ปรึกษาคณิตศาสตร์อิสระ AGMAI ซึ่งเข้าร่วมให้คำปรึกษาในการเผยแพร่ก็ระบุชัดเจนว่าไม่ได้ให้การรับรองผลลัพธ์เหล่านี้