AITOPAI热报

Hyra

共 4 条相关 AI 资讯
8月19日
22:43
7月31日
15:29
15:29IT之家（博客/媒体）
81°
腾讯混元科研智能体 Hyra 为加法组合学中一个悬而未决 50 多年的问题给出完整答案：证明和集与差集扩张指数的最优上确界是 2。此前最佳构造纪录从 1969 年的 1.0290 提升到 2013 年的 1.1259，近一年 AI 辅助搜索达到 1.1449，内部实验中 Codex（GPT-5.5）达到 1.2851。Hyra 用约 24 小时提出基于十二进制数字结构、循环群对称加法基与中国剩余定理的显式构造，使指数可以任意逼近 2。论文预印本和 Lean 4 形式化证明均已公开。
AI模型Hyra腾讯混元智能体
推荐理由：腾讯混元的 Hyra 跑了24小时就证出加法组合学50年难题，还公开了 Lean 证明，比此前 AI 辅助搜索明显更进一步。
原文
7月30日
12:08
12:08Hunyuan@TXhunyuan
精选
腾讯混元团队利用 AI 研究助手 Hyra 和 Hy3 模型，构造出一个有限整数集 A 的例子，证明 |A+A| 与 |A-A| 增长的最优指数为 2，打破了 1969 年定理给出的上界。此前 50 年间最佳构造仅达到指数约 1.1。论文已发表在 arXiv（2607.27199），Hyra 博客和形式化证明也已公开。
AI模型HyraHy3Tencent Hunyuan
推荐理由：腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想，直接把最优指数从 1.1 推到 2，比之前所有构造都强一截。
原文
7月21日
11:45