腾讯混元Hyra模型破解50年数学难题

国内AI资讯 📅 2026-08-13 20:00 ✍ wu sisi 👁 2026年8月13日 💬 0 评论

2026年7月31日AI日报报道，腾讯混元团队发布的Hyra模型在数学研究领域取得重要突破，成功破解困扰学界5 […]

2026年7月31日AI日报报道，腾讯混元团队发布的Hyra模型在数学研究领域取得重要突破，成功破解困扰学界50年之久的数学难题。Hyra基于腾讯混元基础模型构建了专门的数学符号推理能力，能够在形式化证明、组合数学、抽象代数等领域提供高质量的研究辅助。这一成果展示了中国头部大模型在「AI for Science」方向的硬核突破能力，与阿里达摩院ElementsClaw发现4种超导体、GPT-5 Pro辅助免疫学研究的国际前沿案例遥相呼应。

来源：AIHOT DAILY 2026-07-31

腾讯混元Hyra模型破解50年数学难题

📰 你可能也喜欢

​豆包大模型 2.1 Pro 0915 版本重磅发布：Agent 交付更稳、多模态 Coding 全面进化

vivo 正式发布智能体大模型矩阵，并重磅预研 30B MoE 端侧大模型

​生数科技正式发布 Vidu S2，支持实时编辑、动态参考图与头显适配

DeepSeek V4.1Flash助力《生化危机7》安卓模拟运行，帧率提升50%

AI智能体手机进入量产商用阶段:努比亚NaviX Ultra正式开售 搭载豆包手机助手

科学减重一亿斤再加码!蚂蚁阿福推出AI饮食分功能，还将发一亿颗鸡蛋

豆包大模型 2.1 Pro 0915 版本重磅发布：Agent 交付更稳、多模态 Coding 全面进化

生数科技正式发布 Vidu S2，支持实时编辑、动态参考图与头显适配

AI智能体手机进入量产商用阶段:努比亚NaviX Ultra正式开售搭载豆包手机助手