AGI Hunt· tianyin_xu·· 3 小时前AI 评分53
TLAPS-Bench 发布：265 个真实系统证明目标，GPT-6.1 Sol 仅解出 44.3%
TLAPS-Bench 发布:265 个真实系统证明目标,GPT-6.1 Sol 仅解出 44.3%
AI 导读
Murat Demirbas 等发布面向 agentic AI 的 TLA+ 形式化验证基准 TLAPS-Bench，包含来自 95 个真实系统的 265 个证明目标。
来源：AGI Hunt · agihunt.info