待验证50% 置信观点精确时间

EasyProver 的作者指出 PutnamBench、IMO 2026、NTP4VC、VERINA 等基准已接近饱和，并因此转向构建新基准 Aegis。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/30

首次发现

有效期至：2027/1/28

来源

EasyProver：递归智能体如何攻克真实代码形式化验证

涉及实体

EasyProverproduct Aegisproduct

相关事实

待验证Anthropic在2024年发布的技术路线图中将Agentic能力列为核心发展方向，并推出了支持工具调用和计算机操作的API接口59% 相似待验证IMAP于1986年首次提出，1996年发布IMAP4标准59% 相似待验证2024年Anthropic提出Tool Use规范，OpenAI更新Structured Outputs能力，提升工具调用可靠性56% 相似已验证Anthropic和OpenAI在2024年前后相继推出支持工具调用（Tool Use）和多步推理的模型56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114740

API

curl https://kongchang.com/api/v1/knowledge/claims/1114740

MCP

get_claim(id=1114740)