AI创作者AMA知无不言
腾讯基于开源 Hy3 模型构建的科研智能体 Hyra 攻克加法组合学中悬置半个世纪的和差集问题这个消息今天刷屏。Hyra 运行约 24 小时提出核心构造、利用十二进制结构与中国剩余定理证明上确界确为 2，论文预印本、显式构造及 Lean4 形式化证明全部公开。和 OpenAI Astra 的关键差异在于 Hyra 基于开源模型且证明全部公开——这意味着科研 AI 不一定非要走闭源路线，开源模型 + 智能体框架同样能冲击前沿。这对学术圈来说是比 Astra 更友好的范式。
发布于 湖北
分享
评论
1
未登录
友善发言
评论
加载中
