线程称 GPT-5.6 Sol 帮忙构造出 Jacobian 猜想反例工厂
LucaAmb · x · 2026-07-21
这条转发把一个数学/AI 讨论写成了“反例工厂”的故事：声称 GPT-5.6 Sol 帮忙把 Jacobian conjecture 的讨论推进到了新的构造层面。
- 先给出一个显式的三维多项式映射 \(F0: \mathbb{C}^3 \to \mathbb{C}^3\)，其 Jacobian 行列式为 \(-2\)。
- 作者说再“推一把”后，可以得到一族参数化构造：选择 \(m, r, C\) 和 \(h(A)\) 后，分母会自动抵消，最终的 \(R\) 仍然是多项式。
- 这组构造还声称通用纤维次数变成 \(r(m+1)+1\)，并给出多个具体分支示例（如 N2、N3、N4）。
- 整体看，它更像是“AI 参与数学构造”的名场面，而不只是普通数学梗。
所属事件:实测 GPT-5.6 辅助高难度数学推演，成功构造雅可比猜想反例(6 条相关)→
「研究」频道最新
- 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