OpenAI เผยแพร่บทพิสูจน์ทฤษฎีคณิตศาสตร์รวดเดียวถึง 722 รายการ แบ่งเป็นกลุ่มปัญหา 377 กลุ่ม ปัญหาบางข้อเกี่ยวกับวงการคอมพิวเตอร์โดยตรง เช่น การหาขอบเขตใหม่ของ Big-O ในการคูณแมทริกซ์เป็น $O_{\varepsilon}(n^{9/4 + \varepsilon})$ แต่ล่าสุดก็ต้องถอนรายงานบางส่วนและแก้ไขรายงานที่อ้างอิงถึงบทความเหล่านั้น

ทาง OpenAI อาศัยการหาปัญหาคณิตศาสตร์ที่ยังไม่ถูกแก้ 4,000 ปัญหาไปให้โมเดลใหม่ที่ยังไม่ได้ปล่อยออกมาลองแก้ บทพิสูจน์จำนวนมากเหล่านี้หากใช้นักคณิตศาสตร์ทำงานจริงๆ ก็น่าจะใช้เวลาหลายปีทำให้การเผยแพร่ครั้งนี้น่าจะเปลี่ยนแนวทางการทำงานของนักคณิตศาสตร์ในอนาคตไปอย่างชัดเจน

อย่างไรก็ตาม บทความที่เผยแพร่ออกมายังมีระดับความสมบูรณ์ต่างกันไป บางบทพิสูจน์มีโค้ดภาษา Lean แนบมาด้วย แม้จะมีโค้ด Lean แต่บางส่วนก็ยังดูมีปัญหาที่ต้องปรับแก้ ล่าสุดทาง OpenAI ก็ตรวจพบความผิดพลาดในรายงาน 3 ฉบับที่ต้องถอนออก และมีการปรับแก้อีก 14 ฉบับ แต่กระนั้นรายงานอื่นก็ยังคงน่าศึกษาและตรวจสอบกันต่อไป

ที่มา - OpenAI