物界前沿物界前沿 · 资讯情报卡（Hacker News · 2026/10/17）
OpenAI发布AI证明Mahler猜想，数学家详解辛几何构造
核心事实
- OpenAI本周二发布373个问题解，编号#087为Mahler猜想证明。
- 该证明构造了半径2/√π的球到K×K°的辛嵌入。
- 由此推出体积不等式Vol(K×K°)≥4^n/n!，解决对称情形。
- 另两篇AI论文分别刻画等号条件并证明非对称版本。
- 一位数学家称其未发表的技术被AI抢先应用。
关键数据
373发布问题解数量
45证明文档页数
2/√π球半径
1对称情形讨论段落数
物界观察
AI开始产出人类数学家尚未发表的证明技巧，这比刷榜更值得警惕。数学界需要从“消化证明”转向“严格图解”，否则理解将落后于生成。对用户而言，AI正从工具变成合作者，但验证和解释的成本反而更高。