OpenAI AI模型取得数学突破：发布密码学、量子计算等10个长期未解问题研究成果

OpenAI เผยความก้าวหน้าทางคณิตศาสตร์ของโมเดล AI: เปิดตัวผลงานวิจัย 10 หัวข้อปัญหาค้างคาที่ยังไม่มีคำตอบ ทั้งวิทยาการเข้ารหัส ควอนตัมคอมพิวติ้ง และสาขาอื่น ๆ

Odaily รายงานว่า OpenAI เปิดเผยผลการวิจัยว่า โมเดล AI รุ่นถัดไป Astra มีความก้าวหน้าในสาขาคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี ครอบคลุมเรขาคณิตมิติสูง ทฤษฎีโค้ด ทฤษฎีกรุป ความซับซ้อนเชิงควอนตัม วิทยาการเข้ารหัสหลังควอนตัม และคณิตศาสตร์เชิงการจัดแบบสุดขั้ว โดยผลงาน 10 รายการที่เผยแพร่เกี่ยวข้องกับ ปัญหาการบรรจุทรงกลมในมิติสูง ปัญหาโค้ดไบนารีและโค้ดทรงกลม ปัญหากลุ่มที่ไม่ใช่ซอฟิก ปัญหาการคาดเดาความแข็งเกร่งของ Connes ปัญหาความซับซ้อนของวงจรเลขคณิต ปัญหาการทำซ้ำแบบขนานเชิงควอนตัม ปัญหาเวกเตอร์ที่ใกล้ที่สุด ปัญหาการคาดเดาปริมาตรของเอียร์ฮาร์ต ปัญหาจำนวนแรมซีย์หลายสี และการคาดเดาในทฤษฎีกราฟสุดขั้ว

据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元（按 Sol API 价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。