TechCrunch · AI· Tim Fernholz·· 5 天前AI 评分67
OpenAI 数学证明发布未达到数学界规范，新论文指出自然语言证明与 Lean 代码存在差异
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
OpenAI 本周发布数百份据称解决高难度数学问题的证明，但 AGMAI 认为其未充分遵循数学界准则，尤其是未确保人类理解结果。719 份手稿中只有 10 份公开模型思维链，42% 的证明未完成形式化；AGMAI 还要求停止在专有模型上测试前沿数学问题。
来源：TechCrunch · AI · techcrunch.com