搜索
OpenAI 发布 722 篇数学手稿 含多项重要问题进展 学界评价审慎
1 小时前
北京时间10月7日，OpenAI宣布其内部前沿AI模型在数学研究上取得多项进展，并在Github上发布了722篇数学手稿，这些手稿被划分为372个结果族，覆盖17个数学领域。部分成果已获得Lean形式化证明。这些成果大多由OpenAI未发布的内部模型生成，单个结果的平均计算量相当于ChatGPT Pro运行三小时的计算量。在评估阶段，该内部模型被提出了4000个数学问题。学界对此反应不一，有学者惊叹于AI在数学研究上的能力，认为需适应AI的介入；也有学者指出，经核验的高质量成果占比不高，仍需审慎看待。同时，有学者分析了AI企业在数学领域持续取得突破的原因，并感慨这一趋势对纯数学研究者带来的冲击。
