OpenAI发布近400项AI数学成果，数学家称需数年消化：有哪些关键信息？

OpenAI本周向数学界发布近400项AI生成的数学结果。

这些结果分布在超过700份手稿中，覆盖多个数学分支。

OpenAI称719份手稿中仅300项主要结果完成Lean形式化，约42%。

多位数学家表示，仅浏览约40页目录和摘要就耗时近一小时。

部分研究者担心结果质量参差，需先甄别是否为低质AI内容。

物界前沿 · 资讯情报卡（TheVerge · 2026/10/10）

OpenAI发布近400项AI数学成果，数学家称需数年消化

核心事实

关键数据

近400项AI生成结果数

719份手稿总数

300项已形式化主要结果

约42%形式化比例

物界观察

OpenAI把数学研究变成了需要先做数据清洗的工程：成果规模远超同行评议能力，形式化率不足一半，数学家被迫在「读可能错误的论文」和「等别人验证」之间选择。这暴露了AI科研输出的核心矛盾——生成速度与验证速度严重脱节，行业需要新的可信度基础设施，否则学术信任会被海量低质内容稀释。