论文精选22:43腾讯混元Hyra数学领域取得四项新进展腾讯混元Hyra在数学领域又有突破，开源模型解决开放问题的能力又提升了。#Hyra#Tencent#数学#开源模型Hunyuan@TXhunyuan原文稍后读已读值得跟进有用关注 Hyra
模型81°15:29腾讯混元科研智能体 Hyra 攻克加法组合学50年未解难题腾讯混元的 Hyra 跑了24小时就证出加法组合学50年难题，还公开了 Lean 证明，比此前 AI 辅助搜索明显更进一步。#Hyra#腾讯混元#智能体#数学推理IIT之家原文稍后读已读值得跟进有用关注 Hyra
模型精选12:08腾讯混元用 Hyra 和 Hy3 模型解决 50 年数学难题腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想，直接把最优指数从 1.1 推到 2，比之前所有构造都强一截。#Hyra#Hy3#Tencent Hunyuan#数学推理Hunyuan@TXhunyuan原文稍后读已读值得跟进有用关注 Hyra
模型72°11:45腾讯混元发布科学发现智能体 Hyra，能够递归自我改进腾讯混元搞了个新智能体 Hyra，能自己改自己，做 3D 模型比 Claude Code 效果还好，值得看看#腾讯混元#Hyra#智能体#递归自我改进IIT之家原文稍后读已读值得跟进有用关注 腾讯混元
