三大公司大模型论文

OpenAI 大模型推翻 80 年数学猜想：平面单位距离问题的终结

OpenAI 一个通用推理模型自主推翻了 Erdős 1946 年提出的平面单位距离猜想，通过引入代数数论工具（无限类域塔与 Golod-Shafarevich 理论）构造了多项式量级改进的单位距离对族。这是 AI 在前沿数学中首次自主解决有 80 年历史的核心开放问题。