数学家用 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」频道最新
- 急诊室AI真正机会:不是分流患者,而是帮医生快速定位病史 — DevToD4 · 2026-08-15
- Joe Edelman谈机构价值漂移：AI或加速或逆转 — edelwax · 2026-08-15
- AI对齐中的宣传与操纵伦理困境 — iamtrask · 2026-08-15
- 模型习得价值观终究源于训练数据 — iamtrask · 2026-08-15
- 如何调和模型福利与价值对齐的冲突？ — iamtrask · 2026-08-15
- 评论：人形机器人像马车外形的汽车，方向存疑 — jonippolito · 2026-08-15