10 月 28 日，qLDPC Challenge 的公开仓库里多了一个条目：[[488,123,22]]。提交说明很克制：非 CSS、校验权重 8，编码效率 kd²/n=122.0；该赛道此前最好是 82.4。五天后，腾讯混元发布 Hyra 2.0，把这个码和两个蛋白质模型、一个原子力场一起，摆上“Agent 造工具”的展台。
“造工具”是这次发布的关键词。官方说，Hyra 2.0 不再只解题，而是让 agent 研发可复用的模型、工作流和软件。蛋白质逆折叠模型 HyInv、蛋白质语言模型 HyPLM-Flash、原子力场 HyFF，都是这条路线交出的成品；量子工具 HyQEC 是其中看起来最硬的一个。
成品和能用的科研工具之间，隔着的往往不是参数，而是验证。
先看量子码。官方说，HyQEC“构造并严格验证了量子码 [488,123,22]”，编码效率比原榜首提升约 48%。 这个码确实在公开榜单上，PR 已经合并，kd²/n 为 121.992。但同一个 PR 对码距的标注是 upper_bound：榜单只记录了一个重量 22 的逻辑算符，证明 d≤22；“d=22”的精确性来自团队自己的穷举分支定界。腾讯混元GitHub
qLDPC Challenge 的认证器按 X/Z 两侧分别算最小重量，认证不了这种非 CSS 码的 Pauli 距离，所以这个码在榜单上的状态就是“有见证的上界”。团队随后在 issue #4206 里把 187 个条目中的 178 个精确距离结果提交审核，并写明这些只是提交审核，不是已接受的证书。 官方的“完成认证”，在公开流程里是“提交待审”。GitHub
再往前一步，才是量子应用。这个码属于 unrestricted / weight-8 赛道，没有几何局域性约束；要上机，还需要把校验映射到硬件连接图、设计综合征测量电路、写解码器，并在真实噪声下测逻辑错误率。PR 还提到，它的辛双倍是 [[976,246,22]] 的 CSS 码，而 CSS 榜上已有 [[976,250,22]]，作者因此不声称相对 CSS 码有优势。漂亮的码离可运行的纠错方案，还差整套工程。这个距离，按年计。
蛋白质这边，距离短得多，但短在“能试”，不是“已验证”。HyInv 的技术报告给出，CATH4.3 测试上 scTM 0.840，跨基准平均比 ProteinMPNN 高 0.013。 128 条 402 残基的序列，50.6 毫秒生成，官方口径是比 ProteinMPNN 快 57 倍。权重、代码、报告都在 GitHub 上。腾讯混元
但报告里的证据全是计算。scTM 用 ESMFold2 预测结构，四个应用场景也都在计算机里完成；口袋库在 12 个骨架上的平均通过率是 43%，判据同样是 scTM 和 RMSD 这类计算指标，不是表达量、稳定性或活性。技术报告里没有湿实验数据。
HyPLM-Flash 的位置更清楚：ProteinGym zero-shot Spearman 0.409，和主流 600M 级模型打平；它的优势是单张 H20 每秒约 13 万残基，比同类编码器快 1.9–2.7 倍。这是基础设施，不是能力跃迁。蛋白质工具现在就能被实验室拿去试；离进入项目，差一轮湿实验——这轮实验最贵、最慢，也最不能由模型替代。
最接近“日常使用”的是 HyFF。官方说，五个 HyFF 模型全部位于评测的精度–速度帕累托前沿。 Andante 的力误差 7.65 meV/Å，和 UMA-S-1.2 的 7.55 相当，速度快 29 倍；Largo 的能量误差 0.364 meV/atom，低于 DPA4-Pro 的 0.380，速度快 9.7 倍。它还有 pip 包、权重和 MD 引擎；58,560 原子的水通道蛋白膜体系跑了 100 纳秒，46,282 原子的酶体系里看到一次断键成键。这些是模拟，不是实验，但力场本来就靠模拟吃饭，离真实使用比蛋白质设计短。腾讯混元
不过，所有精度数字都来自 OMol25 验证集。换到别的化学体系，尤其强关联、长程静电或未见过元素的体系，误差会怎样，报告没有回答。力场要进入日常，得等第三方在自家体系上跑出结果。这个距离，按月到按季度计。
还有一个更底层的距离：工具的生产线。官方公开的是成果仓库，AI4AI、AI4Fun、AI4Science 三个目录，蛋白和力场的权重、代码、脚本都在；但让 Overall、Mission、Worker 三层分工运转的编排层，没有出现在仓库里。最核心的编排系统没有公开。 你能验证它造出的工具，很难复现它怎么造出这些工具。生产线不开放，别人只能使用产品，没法学习、审计或改进它。官方说成果会持续公开；HyQEC 则明确“后续将发布”。量子工具还没交到社区手里。知乎
所以，答案不是一个距离。蛋白质工具：能下载、能跑，差一轮湿实验。原子力场：离日常最近，差一次第三方独立验证。量子码：离上机还差布局、解码器和噪声下的逻辑错误率，按年计。科研 agent：离基础设施，差一次编排层公开。
四个距离的度量单位不同，却指向同一个瓶颈：验证。Hyra 2.0 把“想出一个候选”变得很便宜，把“证明它有用”留在了实验室、硬件和同行评审里。官方在结尾把问题挑明了：限制可能来自模型能力、搜索效率，也可能来自验证和实验反馈太慢。 这句话本身就是对当前距离的准确描述。腾讯混元
从解题到造工具，Hyra 2.0 往前了一步。但工具离应用的最后一段，不是模型跑得更快，而是有人愿意用它、验它、复现它。
