TREE NEWS 消息， 腾讯混元11月2日发布自动化科研框架Hyra 2.0，不再由AI直接解题，而是让agent研发并升级可反复使用的科学模型与工具。其从头训练的蛋白质逆折叠模型HyInv仅196万参数，生成速度为ProteinMPNN的57倍；量子纠错工具HyQEC构造出488,123,22]量子码，编码效率指标较qLDPC Challenge原榜首高约48%；数学证明工作流HyProver完成丘成桐圆周作用猜想等证明并经数学家核验。Hyra 2.0还使香山RISC-V处理器每GHz得分提升5.79%。
腾讯混元发布自动化科研框架Hyra 2.0
AI 解读
这条消息真正值得注意的不是某个单点成绩，而是研发范式从“AI直接解题”转向“agent造工具、工具再复用”——一旦模型和工具可积累，边际成本会持续下降，这对做科学计算、EDA与量子软件栈的团队影响最直接。三个案例横跨生物、量子纠错与数学证明，说明其定位是通用科研基础设施而非垂直应用。接下来值得观察的是这些工具能否被外部研究者独立复现与采用，以及“工具升级工具”的循环在更长周期里是否仍然成立。
由 AI 生成，仅供参考。