TechCrunch · AI· Tim Fernholz·· 8 天前
OpenAI 的数学解答尚未达到学界标准
OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 导读
TechCrunch 报道称，OpenAI 本周发布数百份高难数学题解答，但未完全达到普林斯顿高等研究院 AGMAI 提出的准则。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明尚未经过形式化；剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程解答中自然语言证明与 Lean 代码之间的至少两处不一致。
入选记录
门槛 76媒体与个人第一次 62第二次 62
未入选两次之和 124 < 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：OpenAI模型解数学题及AI形式化证明争议
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：TechCrunch · AI · techcrunch.com