一次 GitHub push 攻克 500 大数学难题中 92 道,数学界开始动摇
altryne · x · 2026-10-10
据 @ldjconfirmed 统计,OpenAI 在一次提交中「解决」了 500 个最重要未解数学问题中的 92 个——正如推主感叹:「在一个普通周二,一次 GitHub push 里。」
部分数学家对此感到悲伤,另有人(petergostev)追问:这是否意味着数学没用了?推主则呼吁大家接受这一现实。原帖附讨论链接,原始数据来自社区对 OpenAI 提交内容的逐题核对。
所属事件:OpenAI 批量求解数百道未解数学题，数学界震动(7 条相关)→
「模型」频道最新
- 8 个「系统一」模型实测：谁最适合掌控语音 Agent 的发言时机 — solyarisoftware · 2026-10-10
- 播客讨论:Fable 与 Astra 现在值不值得用? — thursdai_pod · 2026-10-10
- ChatGPT Plus 被曝多项退化:对话无限卡死、长任务限 26 分钟 — travny · 2026-10-10
- 状态空间模型让递归回归：线性成本融合 Transformer 时代技巧 — anshulkundaje · 2026-10-10
- 用户实测 Grok 群聊：潜水、表情回应，像人多过像机器人 — flowersslop · 2026-10-10
- AC2 平台开放自训决策模型，毒性检测 F1 从 0.482 提至 0.677 — rhythmrg · 2026-10-10