#Hyra
4 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "Hyra", newest first.
8月19日
7月31日
Chinese content腾讯混元科研智能体 Hyra 攻克加法组合学50年未解难题
腾讯混元的 Hyra 跑了24小时就证出加法组合学50年难题，还公开了 Lean 证明，比此前 AI 辅助搜索明显更进一步。
IT之家Source
7月30日
Chinese content腾讯混元用 Hyra 和 Hy3 模型解决 50 年数学难题
腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想，直接把最优指数从 1.1 推到 2，比之前所有构造都强一截。
7月21日
Chinese content腾讯混元发布科学发现智能体 Hyra，能够递归自我改进
腾讯混元搞了个新智能体 Hyra，能自己改自己，做 3D 模型比 Claude Code 效果还好，值得看看
IT之家Source