ChatGPT 求解稳定分叉猜想:两篇 AI 论文同日撞车
burny_tech · x · 2026-09-19
数理逻辑领域的公开难题「稳定分叉猜想」（stable forking conjecture）已被 AI 辅助解决，而且 surprising 地有两篇论文在一天内独立得出相同结果。发帖人 7 月曾询问两位模型论学者认为最重要的公开问题，两人都提到这一猜想，如今借助 ChatGPT 得到解决。这是 AI for Mathematics 又一个标志性案例。
「研究」频道最新
- PixelBench：用逐像素生成取代 QA,重新测多模态模型 — bdsqlsz · 2026-11-04
- Chollet 提问:单细胞如何仅靠基因组信息把自己连成大脑 — CatAstro_Piyush · 2026-11-04
- OffsecCyber 数据集发布：整合 HackerOne 报告与 CVE 训练渗透测试 LLM — AccBalanced · 2026-11-04
- 研究：「单次事实」占比决定 LLM 科学发现能力 — CatAstro_Piyush · 2026-11-04
- 把 TPU 编译进 Qwen 权重：0.8B 模型跑出精确矩阵乘法 — CatAstro_Piyush · 2026-11-04
- Jev 模型提升 LLM 上下文学习示例检索，蒸馏 MLP 降开销 — kalyan_kpl · 2026-11-04