[控场AI]
待验证50% 置信基准精确时间

在与已发表证明器系统共享的基准上,Maestro在PutnamBench上解决669/672题,在Lean-IMO-Bench上解决59/60题,在IMO 2026上达到6/6。

1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/10/20
首次发现
有效期至:2026/11/3

来源

涉及实体

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/1073841
API
curl https://kongchang.com/api/v1/knowledge/claims/1073841
MCP
get_claim(id=1073841)