OpenAI 证明 Mahler 猜想：辛几何嵌入的可视化图解

OpenAI 本周发布约 400 个问题的证明，其中包括 Mahler 猜想。证明通过辛几何，构造了体积为 $4^n/n!$ 的对称凸体 $K$ 与其极体 $K^\circ$ 积的辛嵌入。 该证明利用 $L^\infty$ 范数极限方法构建复子流形，解决了这一长期未决的凸几何难题。作者使用 Claude Code 开发了交互式可视化程序，通过严格数学图解辅助理解证明逻辑。