iCreatAI News
跳到正文
10月31日周六
10月30日周五
10月29日周四
  1. Replit Blog60

    Replit 发布 ViBench 2.0 长周期软件构建基准

    Replit 发布 ViBench 2.0,用于评测智能体从空项目开始逐个功能搭建完整产品的长周期软件开发能力,包含 17 个产品、241 个功能请求和 544 个测试计划。

    推荐理由:Replit 公开了长周期软件构建基准的题目设计、评分方式和多家模型对比,可据此理解现有编码智能体在功能叠加时的失败位置。

10月28日周三
  1. Artificial Analysis Articles60

    Artificial Analysis 发布 Intelligence Index v5 与 Progress Index v1

    Artificial Analysis 发布 Intelligence Index v5,新增 FrontierCode 2.0 和 Terminal-Bench-Science 两项基准,升级 HLE-Diamond、AA-Omniscience v1.1 和 CritPt v2,60% 的评测基于私有测试集或留出答案。

    推荐理由:原文给出 v5 的基准构成、权重与各模型得分,可据此比较前沿模型在编码、科研与知识任务上的差距。

  2. Hacker News AI88

    OpenAI 称其模型推翻指数时间假说,Lean 证明与算法速度被逐条拆解

    OpenAI 于 2026 年 10 月 26 日称其内部模型产出三项数学与物理结果,其中包括一个推翻指数时间假说(ETH)的确定性算法,该算法可在多项式空间内计数 k-CNF 的全部解。

    推荐理由:原文把 OpenAI 声称推翻 ETH 的算法换算成具体变量规模,并拆解 Lean 定理实际证明了什么、没证明什么。

10月27日周二
10月26日周一
10月24日周六
10月23日周五
10月22日周四