OpenAI 一次性放出近 400 项数学结果,数学家称需数年才能消化
OpenAI 本周向数学界放出近 400 项 AI 生成的数学结果,分布在 700 多份手稿中,覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学和数学物理等领域。OpenAI 称 719 份手稿中只有 300 项主要结果完成了 Lean 形式化,约 42%,且承认这些结果处于不同验证阶段。多位数学家向 The Verge 表示,仅通读约 40 页的目录和摘要就要花近一小时,完全理解这批成果可能需要数年;有人称已有同行整条研究计划被抹平,也有人担心论文引用与署名质量。
#现象/趋势#数据/训练#开源生态