腾讯混元发布Hyra 2.0，由agent研发可复用的科学模型与工具

据腾讯混元官方公众号，腾讯混元发布自动化科研框架Hyra 2.0。它不再只让AI直接解题，而是让agent研发和升级可以反复使用的科学模型与工具。Hyra 2.0从头训练的蛋白质逆折叠模型HyInv仅有196万参数，生成速度是ProteinMPNN的57倍。量子纠错工具HyQEC构造出488,123,22]量子码，编码效率指标比qLDPC Challenge原榜首高约48%。

数学证明工作流HyProver完成了丘成桐圆周作用猜想等问题的证明，并经数学家核验。Hyra 2.0还让香山RISC-V处理器每GHz得分提升5.79%。它也在参与下一代Hy模型的研发，相关成果将在GitHub公开。