数学发现

OpenAI发布722项数学发现

OpenAI于10月6日通过GitHub公开了由内部前沿模型产生的722篇数学论文，涵盖372组结果，涉及数论、代数几何及理论计算机科学等多个领域，部分成果声称解决了长期未决的开放问题。尽管普林斯顿高等研究院的咨询小组曾要求停止在专有模型上测试高级数学问题，但OpenAI仍推进了此次发布，并提供了部分Lean形式化验证及计算成本数据。