AI 发现 87 年未解雅可比猜想反例，Wolfram 给出验证笔记
CatAstro_Piyush · x · 2026-07-29
Wolfram Japan 提到，AI 找到了被认为是 87 年未解 的数学难题——Jacobian conjecture（雅可比猜想）——的反例，并表示这份 notebook 会用 Wolfram Language 实际验证这个反例。
链接指向 Wolfram Community 的技术讨论，重点不只是“AI 发现了什么”，还包括如何复现和检验这一结果，因此更像一篇可复现的技术笔记/研究讨论。
「研究」频道最新
- UPenn 实验：让 Claude 批判自己默认想法,研究灵感产出提升最多 — arjunrajlab · 2026-10-16
- SimpleMark 论文:多比特文本水印可将每 token 失真限制在预算内 — rishabh16_ · 2026-10-16
- 斯坦福新论文:生成式表征学习做 tokenizer,省 7-8 倍训练算力 — HirokatuKataoka · 2026-10-16
- Cohere Labs 将在 EMNLP 2026 展示推理模型置信度估计等新研究 — Cohere_Labs · 2026-10-16
- Vals RSI 指数外推：Google 模型或于 2027 年 10 月达 130% 自研水平 — HaydnBelfield · 2026-10-16
- SpatialClaw 被纳入智能体视觉数据集，数据筛选与评测是重头 — CMHungSteven · 2026-10-16