搜索结果

腾讯开源Hyra攻克50年数学悬案，开源模型科研能力追平闭源前沿

8月3日消息，腾讯基于开源Hy3模型构建的科研智能体Hyra成功解决加法组合学中悬置半个多世纪的和差集问题，运行约24小时提出核心构造并完成形式化证明，论文和代码全部开源。