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

研究团队用四个前沿LLM在七个数学和三个软件验证基准上评估了Maestro。

1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/20
首次发现
有效期至:2027/1/18

来源

涉及实体

相关事实

引用此条事实

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