国产 AI 前线
bingdada
当AI开始批量证明数学猜想：挂谷问题被推向四维之后
OpenAI 一次性公开 722 篇数学手稿，其中两篇将挂谷猜想从三维加强版推向四维。本文拆解这两篇论文的技术路径，梳理王虹的框架贡献，并分析数学界围绕 AI 批量证明的撕裂与争议。
bingdada2026-10-1217约 12 分钟阅读
博客文章
浏览所有关于 SEO、GEO 和搜索优化的技术文章
AI人工智能bingdada
OpenAI模型颠覆离散几何核心猜想：平面单位距离问题80年终获突破
OpenAI内部模型推翻了离散几何中一个持续近80年的核心猜想——平面单位距离问题。该模型提供了无限族例子，实现了多项式级改进，标志着AI首次自主解决著名开放数学问题。
bingdada2026-08-02195约 5 分钟阅读