


The Verge AI、WIRED Security and AI 等 10 个来源The Verge AI 等 10 个来源 · 14 篇报道 · 24 小时新增 2 个来源关注度83↑283过去一年,OpenAI、Anthropic 等实验室宣称在多个长期未解数学问题上取得突破,引发学界反弹。OpenAI 发布由内部未公开前沿模型产出的数学手稿库,共 722 篇手稿、归入 372 个结果家族,称包含对数百个数学开放问题的解答,涉及准黎曼猜想、霍奇猜想、BSD 猜想、唯一游戏猜想等 17 个方向;模型共尝试约 4000 个问题,平均每个结果约相当于三小时 ChatGPT Pro 思考算力,部分结果附 Lean 形式化,未形式化者可能存在问题。OpenAI 此前在 9 月称其模型已解决数学各领域 100 多个长期开放问题。数学家批评其绕过学术规范、一次性发布而非以论文形式供消化验证,普林斯顿高等研究院表示不认可该做法,AHM 声明呼吁数学家停止与 OpenAI 合作,陶哲轩转发并呼吁公众保持怀疑,Scott Aaronson 称此为 Mathocalypse。TechCrunch 报道称 719 份手稿中仅 10 份公开思维链、42% 的证明未形式化,剑桥与伦敦国王学院数学家的新论文记录了自然语言证明与 Lean 形式化之间的差异。
事件进展共 5 个进展
陶哲轩牵头人类数学协会联合声明抵制OpenAI
Aaronson称AI公司正内部探测模型密码破解能力
OpenAI将发布超100个未解数学问题新解