三大公司大模型论文

OpenAI 模型攻克 80 年未解数学猜想：AI 首次自主解决领域核心开放问题

OpenAI 内部通用推理模型独立解决了 1946 年由 Paul Erdős 提出的单位距离猜想，推翻了几十年的主流猜测。这是 AI 首次自主攻克一个活跃数学领域的核心开放问题，证明中引入的代数数论工具令数学界震惊。