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 辅助完成,具体贡献程度有待同行检验。
所属事件:ChatGPT 助攻证伪悬置 30 年的稳定分叉猜想(3 条相关)→
「模型」频道最新
- Mistral 发布 Timestral 时序预测模型，500 万参数可跑普通 CPU — lmoroney · 2026-10-18
- AutoTrust 模型被曝刷榜:仅 17 天冲上 HF 史上点赞第 10 — realmrfakename · 2026-10-18
- Google AI Studio 全面升级:Gemini 4 Argon 驱动全栈应用一键部署 — clmt · 2026-10-18
- 爆料:OpenAI 下周将发布新模型,代号 aurora 疑似三款 alpha — imjustnewatai · 2026-10-18
- 用户吐槽 Gemini 推出 Argon 后大面积卡顿：一半请求挂起 — johnfromberkeley · 2026-10-18
- Domingos：叠加是特性而非缺陷，不损可解释性反增记忆容量 — pmddomingos · 2026-10-18