AI科学家来了：从回答已知，到回答未知。

今天，Open AI Astra 和腾讯混元Hy3 同时发布大语言模型在科研领域取得重大进展。

OpenAI 披露下一代模型 Astra，在球体堆积（48年来首次改进一般球体堆积指数）、非sofic群构造（推翻2000年以来核心猜想）、算术电路复杂性、量子并行重复等 10 个长期开放问题上取得突破性新成果。全部论证由 AI 生成并整理为 249 页论文，另附 62 页解题思路说明。模型寻找全部解法所需 Token 成本约 2000 美元。

腾讯基于开源 Hy3 模型构建的科研智能体 Hyra，仅用 24 小时为悬置 50 余年的和差集问题给出完整证明，论文与 Lean 4 形式化代码全部开源。

腾讯混元科研智能体 Hyra 为加法组合学中悬置半个多世纪的"和差集扩张最优指数上确界"问题给出了完整答案——利用十二进制结构与中国剩余定理证明上确界确为 2，将此前最好结果从 1.14 提升至 1.21。论文预印本、显式构造及 Lean 4 形式化证明均已公开。这是继 OpenAI Astra（闭源）之后一周内第二个 AI 攻克长期数学难题的里程碑，两者的关键差异在于 Hyra 完全基于开源模型构建，证明全链路开源，标志着开源 AI 在纯数学前沿研究能力上正快速逼近闭源产品。