跳到正文
10月11日周日
10月10日周六
10月9日周五
  1. TechCrunch · AI58

    OpenAI 数学解答未达学界标准,719 份证明仅 10 份公开思维链

    TechCrunch 报道称,OpenAI 本周发布数百份高难数学问题解答,但未完全达到数学与人工智能咨询组(AGMAI)9 月底发布的指南要求。719 份手稿中仅 10 份公开了模型的思维链,42% 的证明未经过形式化流程,AGMAI 首要建议是停止在专有模型上测试高难数学问题,而 OpenAI 明确表示正用开放研究问题评估其专有模型。

10月8日周四
  1. 公众号 · 数字生命卡兹克85

    OpenAI 发布 722 份数学手稿,声称攻克准黎曼猜想等 372 组成果

    OpenAI 于 10 月 7 日在 GitHub 上线 openai/math 仓库,发布 722 份数学手稿、归为 372 个成果组,覆盖数论、代数几何、组合数学等方向,全部出自一个未公开的内部模型。

    选题角度:OpenAI 在 GitHub 上线 722 份数学手稿、372 组成果,可梳理准黎曼猜想、矩阵乘法等具体结果,并对照数学家联名信争议。

10月7日周三
  1. Wes Roth62

    OpenAI 发布未公开模型的 722 份数学手稿

    OpenAI 发布了一个未公开 AI 模型产出的 722 份数学手稿,并在 GitHub 上公开了这些手稿和证明文件。Wes Roth 在视频中讨论,随着 AI 深入前沿数学,验证和理解这些结果可能成为真正的瓶颈,并延伸谈到这对科学、未来 AI 系统和医学意味着什么。

    选题角度:OpenAI 放出未发布模型的 722 份数学手稿和证明文件,可结合 GitHub 仓库与 Navier–Stokes 公告,聊 AI 做前沿数学后验证环节为何成瓶颈。

10月2日周五