**腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题**

_腾讯混元：科研智能体 Hyra 攻克加法组合学 50 年未解难题_

> 腾讯混元宣布，其科研智能体 Hyra 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。目前，相关论文预印本、显式构造和 Lean 形式化证明均已公开。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：ai-models
- **发布时间**：2026-07-31 15:27（北京时间）
- **原文**：[打开原文](https://www.ithome.com/0/984/201.htm)