我打算开一个 每日晨间(美国时间) 晚间(北京时间)读论文的专题。每天美西早晨发布AI圈最有质量的5篇新论文,和大家一起分享阅读。好 今天就是: 第一期 1. Vero: Can AI Agents Build Formally Verified Software Repositories?(Vero:AI 智能体能否构建经过形式化验证的软件仓库?)https://t.co/sjlbGiqJdq Berkeley(Dawn Song)…

8月14日,AI内容创作者“山景城小路”(@Zen_with_AI)启动每日论文解读计划,首期精选5篇论文,主题意外集中:AI智能体在科学验证和长周期研发任务上的能力边界。其中伯克利等团队提出的Vero基准,展示了当前最强配置在仓库级形式化验证上仅约63%的成功率,说明自主科研距离可用仍有明显距离。








