ChatGPT 助攻破解 30 年数学难题,稳定分叉猜想被证伪
burny_tech · x · 2026-09-03
- 数学家 James Freitag 与 Scott Mutchnik 提交 arXiv 论文《A counterexample to the stable forking conjecture》,用 ChatGPT 5.6 找到反例,证伪了 Hart、Kim 和 Pillay 1996 年提出的稳定分叉猜想——模型论逻辑中长期悬而未决的公开问题,共 21 页。
- 发帖人称 7 月曾问两位模型论专家逻辑领域的重大开放问题,两人都提到这一猜想,如今它被 LLM 参与解决,而他本人也曾研究未果。
- 这是 LLM 参与解决重要公开数学问题的又一标志性案例,虽然反例的发现由 ChatGPT 辅助完成,具体贡献程度有待同行检验。
「模型」频道最新
- 用户吐槽 Grok Bot 额度难扛：预测包月畅吃将成为生成式订阅胜负手 — NickPassig · 2026-09-03
- 《深度学习》作者自曝遭 Anthropic 扣款拒退,被迫组合三套编码工具 — burkov · 2026-09-03
- 谷歌发布 Gemini 3.8 Flash：$0.75/百万输入 token，限时价至 2026 年底 — rseroter · 2026-09-03
- Google 六周内第三次更新：Gemini 3.8 Flash 发布，主打 Agent 与编码能力 — reach_vb · 2026-09-03
- Google 推出网络安全模型 Gemini 3.8 Flash Cyber,配 Fairwind 计划供防御者申请 — GoogleAI · 2026-09-03
- Matt Shumer：AI 发布变慢非撞墙，而是安全审查卡住，重磅模型将集中爆发 — mattshumer_ · 2026-09-03