待验证50% 置信基准精确时间
在与已发表证明器系统共享的基准上,Maestro在PutnamBench上解决669/672题,在Lean-IMO-Bench上解决59/60题,在IMO 2026上达到6/6。
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/10/20
首次发现
有效期至:2026/11/3
来源
涉及实体
相关事实
待验证2025年IMO第六题在603名参赛者中只有6人拿到满分62% 相似待验证智能路由方案通过 9/12(75%),Opus 通过 11/12(92%);三个失手中有两个单元测试和一个 QA 任务被路由给 Claude Haiku 5.5,回答超出 8000 token 上限60% 相似待验证6.1天后实盘记分板:审计岗+4259,分析岗+2300,侦察岗+1459,成交岗+775,构建岗+619,营销岗+521,总计+9933。59% 相似待验证梅森旋转算法使用624个32位整数的状态数组(约2.5KB内存),并采用右移11位、左移7位配合掩码、左移15位配合掩码、右移18位的四步调质操作58% 相似待验证该方法在BraTS 2026 Inpainting Challenge验证集上的SSIM为0.816 ± 0.11258% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1073841API
curl https://kongchang.com/api/v1/knowledge/claims/1073841MCP
get_claim(id=1073841)