贾凡-失落的大蒜
26-10-10 21:14 微博认证:科技博主

VeriLoop E2 现已推出,将验证器治理的推理引入代码、数学和物理领域,采用 27B 开放权重模型。
🤖 http://t.cn/AXlqV4qe

🏆 经评估的 E2 系统在 SWE-bench Pro 上得分 76.2%,在 Terminal-Bench 2.1 上得分 88.8%,在 AIME 2026 上得分 98.3%,在 GPQA Diamond 上得分 93.9%,在 Apex 2025 上得分 89.6%。
🔁 VeriLoop-Governed Recurrence 提出候选方案,对其进行外部验证,并且只提交无回归的改进。
🧪 两项有证据支持的科学演示涵盖 67.35% 的 Riemann ζ 零点比例证书和 Asymptotic Graviton Tomography。二者均未声称解决其背后的开放问题。
📚 基于 Qwen3.8-27B 构建,具有 262K 原生上下文窗口,并经验证支持 131K 的 OpenAI 兼容 vLLM 服务。
📜 模型权重和公共推理工具:Apache 2.0。生产级 VeriLoop Harness 不包含在内,科学制品适用单独条款。

#AI新鲜事#

发布于 辽宁