数学家用 AI 找到 30 年前猜想反例
skdh · x · 2026-08-15
物理学家 Sabine Hossenfelder 分享称 GPT 5.6 解决了 GPT 5.5 无法处理的数学问题，引发了数学家 Eliot Jacobson 的兴趣。Jacobson 尝试用 AI 验证其 1988 年提出的 p-defect zero 猜想。
- 结果：多位数学家利用 AI 验证后，找到了一般情况下的反例（如 G=PSU₃(5), p=2 的情况）。
- 证明：AI 还生成了群阶数至多被 2 个质数整除时的完整证明。
「漫话AGI」频道最新
- 机器人创业者在 2021 年就押注的冷门方向：部署层上下文 — broodsugar · 2026-10-16
- RFdiffusion3 登上 Science,同步开源生物分子设计 agent 框架 Chaperone — anshulkundaje · 2026-10-16
- 激进预测：2028 年起无新工作岗位，2030 年前全员失业 — davidpattersonx · 2026-10-16
- 网友激辩 Apollo 研究：自我对齐趋势是否预示恶性演化 — teortaxesTex · 2026-10-16
- 数学家为何而哭：菲尔兹奖得主亲述被 AI「清盘」的技术性哀伤 — stevenstrogatz · 2026-10-16
- Andrew Mayne质疑：为何硅上不算思考，碳上就算？ — khademinori · 2026-10-16