OpenAI 数学难题解答被指未达学术界标准

OpenAI 本周公布了数百个复杂数学难题的模型解答，但数学界专家与顾问机构指出其仍未达标，尤其在人类可理解性与形式化验证上存在欠缺。在 719 篇文稿中仅 10 篇公开了模型的链式推理，同时新研究发现其自然语言证明与 Lean 代码形式化表述之间存在脱节。陶哲轩等学者强调，缺乏人类理解、同行评审和社区互动的自动化解题难以对数学领域产生实质意义。