博客文章

OpenAI 一次性公开 722 篇数学手稿，其中两篇将挂谷猜想从三维加强版推向四维。本文拆解这两篇论文的技术路径，梳理王虹的框架贡献，并分析数学界围绕 AI 批量证明的撕裂与争议。

bingdada

2026-10-124约 12 分钟阅读