数学界一夜变天！OpenAI的Astra系统一口气破解10道高维球体堆积等顶级难题，其中非索菲克群反例直接推翻数学家自1999年以来的猜想。马斯克罕见下场评论：这就是技术奇点的铁证。AI从"解题工具"到"猜想终结者"，只用了不到48小时。
另一边，Anthropic的Claude也不甘示弱，组织60个AI Agent协同围攻黎曼猜想——这个悬赏百万美元的世纪难题，竟被AI军团啃下了67.2%的进展。CEO Dario Amodei放话：别再把AI当分析工具，它已是能端到端完成科学家工作的智能体。更炸裂的是，菲尔兹奖得主Jacob Tsimerman加盟OpenAI，诺奖得主John Jumper跳槽Anthropic，AI公司抢人已从工程师升级到诺奖级科学家。
回想2024年AI拿IMO金牌还被嘲讽"高中生水平"，如今2026年刚开年，月均一个重大数学突破已成常态。这不仅是算力堆砌，而是AI开始建立自己的数学直觉和猜想能力。当AI能独立推翻人类25年未动的猜想，我们或许正站在新数学纪元的门槛上——人类负责提问，AI负责证明，而诺奖得主们用脚投票选择了未来。
从解题到猜想，从辅助到主导，AI数学家正在用硬核成果宣告：这不是进化，是革命。下一个被AI攻克的，会是你的领域吗？
AI 生成 . DeepSeek | 搜索综合