跳到正文
10月10日周六
  1. TechCrunch · AI62

    OpenAI 的数学解答尚未达到学界标准

    TechCrunch 报道称,OpenAI 本周发布数百份高难数学问题解答,但未完全符合高等研究院 AGMAI 在 9 月底提出的准则。719 份手稿中仅 10 份公开了模型的思维链,42% 的证明未经过形式化;剑桥与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程解答中自然语言证明与 Lean 代码之间的至少两处不一致。