AI生成数学证明引发可验证性争议

2026年10月17日，AGI Hunt 报道，OpenAI 的 AI 生成数学证明能力引发争议：AI 已能攻克极难数学问题，但机器给出的解复杂到连专家都难以理解或验证。讨论由此从模型能力延伸到数学的未来、科学发现与人类智能的定位，科学可靠性以及人类在其中扮演什么角色成为核心问题。报道还提到，相关视频围绕出现“新黑暗时代”的可能性展开讨论。目前争议集中在：这类机器给出的解能否被有效验证，以及由谁来承担验证的责任。

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

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