OpenAI 发布 372 个数学问题证明引数学家不满

OpenAI 一次性在 GitHub 上发布了 372 个开放数学问题的证明，引发数学界强烈反应。有作者指出，给出解答不等于数学界理解了问题，这些结果存在幸存者偏差；OpenAI 只解决了人类提出的问题，并未提出新猜想。 争议的核心在于“发布证明”与“数学界理解问题”之间的差距，而非证明数量本身。

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

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