ChatGPT 助攻证伪悬置 30 年的稳定分叉猜想

数学家 James Freitag 与 Scott Mutchnik 在 arXiv 提交论文《A counterexample to the stable forking conjecture》，借助 ChatGPT 找到反例，推翻了模型论中自 1996 年悬置至今的稳定分叉猜想，这是逻辑学界公认的近 30 年重大开放问题。研究者 7 月曾向两位模型论专家询问该领域最重要的开放问题，随后借助 ChatGPT 展开探索并最终完成证明。

2026-09-03 ~ 2026-09-03 · 3 条相关

• ChatGPT 助攻破解 30 年数学难题,稳定分叉猜想被证伪 — burny_tech · 2026-09-03
• ChatGPT 助攻解决 1996 年逻辑学难题 stable forking 猜想 — Dr_Singularity · 2026-09-03

另有 1 条近重复转述:Dr_Singularity