OpenAI ปล่อยผลงานคณิตศาสตร์กว่า 400 ผลลัพธ์

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

ผลงานทั้งหมดที่ถูกปล่อยออกมานี้ประกอบด้วยผลลัพธ์ที่สร้างโดย AI เกือบ 400 ผลลัพธ์ ซึ่งกระจายอยู่บนต้นฉบับมากกว่า 700 ฉบับ ครอบคลุมสาขาวิชาทางคณิตศาสตร์ที่หลากหลาย

• คอมพิวเตอร์เชิงทฤษฎี
• ทฤษฎีจำนวน
• เรขาคณิตหลายแขนง
• คอมบินาทอริก
• พีชคณิตและโทโพโลยี
• ความน่าจะเป็นและกลศาสตร์สถิติ รวมถึงฟิสิกส์คณิตศาสตร์

ปริมาณงานที่หลั่งไหลเข้ามาอย่างมหาศาลนี้ทำให้แม้แต่การประเมินเบื้องต้นก็เป็นไปได้ยาก โดย Álvaro Lozano-Robledo ศาสตราจารย์ด้านคณิตศาสตร์จาก University of Connecticut ระบุว่าแค่การไล่อ่านรายชื่อสารบัญและความย่อความประมาณ 40 หน้าก็กินเวลาเกือบชั่วโมงแล้ว และมีความกังวลว่านักวิจัยจะต้องใช้เวลาอีกหลายปีในการทำความเข้าใจทั้งหมด ก่อนที่ OpenAI จะก้าวไปข้างหน้าหรือปล่อยผลงานเพิ่มขึ้นอีก

ในบรรดาต้นฉบับจำนวนมากเหล่านี้ มีการใส่โค้ดการตรวจสอบรูปแบบทางการผ่าน Lean ซึ่งเป็นภาษาโปรแกรมและตัวช่วยพิสูจน์ที่ช่วยให้ตรวจสอบผลลัพธ์ด้วยคอมพิวเตอร์ได้ แม้ว่านักวิจัยจะยังไม่เข้าใจข้อโต้แย้งเบื้องหลังทั้งหมดก็ตาม อย่างไรก็ตาม ระดับการตรวจสอบของแต่ละผลลัพธ์มีความแตกต่างกันอย่างมาก โดย OpenAI ยอมรับบน GitHub ว่ามีผลงานระดับท็อปเพียง 300 รายการจาก 719 ต้นฉบับเท่านั้น หรือคิดเป็นประมาณ 42 เปอร์เซ็นต์ที่ได้รับการแปลงเป็นรูปแบบทางการแล้ว