机器发现 Jacobian 猜想反例，正撞上菲尔兹奖周
soumitrashukla9 · x · 2026-07-21
- 这条帖子说，Jacobian 猜想出现了一个由机器找到的反例，而这个消息恰好发生在菲尔兹奖庆祝周。
- 作者强调，这不是普通的“AI 辅助算题”，而是机器已经开始在长期悬而未决的数学问题上直接产出结果。
- 相关内容还提到，作者在 NAS 的演讲里讨论了这种变化：AI 正在改变数学研究的工作方式与问题发现路径。
所属事件:AI接连推翻多个数学猜想引发热议(13 条相关)→
「研究」频道最新
- Cognition SWE-2 用 KKT 对偶优化长度惩罚，一次 RL 推移 Pareto 曲线 — YouJiacheng · 2026-09-11
- VidMap 用 RoMa 粗匹配全帧、精细匹配仅限关键帧 — ducha_aiki · 2026-09-11
- Bug Hunt Bench 作者补充:榜单噪声幅度约 2-3 分 — PawelHuryn · 2026-09-11
- 台球计算模型登 PNAS:二维系统已存在不可判定性,可跑通用计算机 — eigensteve · 2026-09-11
- 新研究:从仿射变换与重力线索求解绝对位姿 — ducha_aiki · 2026-09-11
- LoMa 论文发布 REALLY HardPairs 数据集,入选 ECCV 2026 — ducha_aiki · 2026-09-11