AI 实验室宣称攻克数学难题引发学界争议
先了解这件事
过去一年，OpenAI、Anthropic 等实验室宣称在多个长期数学难题上取得突破，包括解决了一个著名的千禧年大奖难题，其能力超出研究者对现有系统的预期，但成果未获普遍赞誉，反而引发学界反弹，AI 实验室表示正从早先的错误中吸取教训。OpenAI 计划于周二在 GitHub 上一次性发布数百个未解数学问题的求解结果；此前该公司在 8 月曾召集约 40 名数学家讨论 AI 能力超越人类后的应对方式，据与会者回忆，OpenAI 当时暗示其模型已解决数百个长期悬而未决的数学问题，并承诺不会一次性全部发布，但数学家建议以论文形式发布以便消化和验证，西北大学数学家 Bryna Kra 称这一建议被忽视。OpenAI 发言人 Lindsay McCallum 表示，公司正依据高……
AI 根据报道生成 · 20 分钟前更新
事件进展
- 10月7日 01:28 · 1 篇报道OpenAI将发布超100个未解数学问题新解
- 10月6日 03:28 · 1 篇报道AI实验室宣称攻克多项数学难题引发学界争议
后续时间线
- RedditReddit r/OpenAI· 讨论OpenAI Is Pissing Off a Bunch of Mathematicians—Again（新标签页打开原帖）
- WIRED Security and AIOpenAI 计划在 GitHub 一次性发布数百个 AI 求解的数学难题结果，数学家批评其绕过学术规范
OpenAI 计划于周二在 GitHub 上一次性发布数百个未解数学问题的求解结果，此前该公司在 8 月曾召集约 40 名数学家讨论 AI 能力超越人类后的应对方式。据与会者回忆，OpenAI 当时暗示其模型已解决数百个长期悬而未决的数学问题，并承诺不会一次性全部发布，但数学家建议以论文形式发布以便消化和验证，西北大学数学家 Bryna Kra 称这一建议被忽视。OpenAI 发言人 Lindsay McCallum 表示，公司正依据高等研究院数学与人工智能咨询小组的建议负责任地发布下一批结果，尚未确定发布时间。Kra 提到，社区今年已建立 Hexagon 和 Palomar 等工具应对机器辅助证明的增加，但 OpenAI 未改变发布方式，也与 4000 多名数学家签署的 Leiden 宣言不符。
- The Verge AIAI 接管数学引发的争议风波
OpenAI、Anthropic 等实验室过去一年宣称在多个长期数学难题上取得突破，包括解决了一个著名的千禧年大奖难题，其能力超出研究者对现有系统的预期。这些成果非但未获普遍赞誉，反而引发学界反弹，AI 实验室表示正从早先的错误中吸取教训。
相关讨论
- RedditReddit r/OpenAIOpenAI Is Pissing Off a Bunch of Mathematicians—Again（新标签页打开原帖）
关注度走势
每天新增来源
- 10月6日 新增 1 个来源（1 家媒体、0 个账号）
- 10月7日 新增 2 个来源（1 家媒体、1 个账号）
每小时关注度
趋势只比较一直被完整观测到的同一批信源，范围可能比当前关注度小。移动指针或点击图表查看每小时关注度；键盘可用左右方向键切换。