OpenAI拟公开发布约400份AI数学证明

据 AGI Hunt 2026 年 10 月 6 日报道，OpenAI 即将在公共服务器上发布约 400 份 AI 生成的数学证明，此事引发热议。报道提到，此前被强制公开的 Navier–Stokes 证明例证仍令专家困惑，多位数学家仍在试图理解其原理。学者 Rex Douglass 则认为数学界对 AI 低质内容的恐慌有些过度：GitHub 上数百万份质量参差的代码并未导致生态崩溃，反而形成了自组织生态。报道未提及这批证明的具体发布时间、内容范围与审核方式。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。