SpacetimeDB Ax 审计:AI 智能体如何选择和使用其后端
Ritza 对 SpacetimeDB 完成面向 AI 智能体的 AX 审计,使用 Claude Opus 5.5 与 Claude Code 2.1.285,从认知、可发现性、口碑和集成四阶段给出总评 3/4。
Ritza 对 SpacetimeDB 完成面向 AI 智能体的 AX 审计,使用 Claude Opus 5.5 与 Claude Code 2.1.285,从认知、可发现性、口碑和集成四阶段给出总评 3/4。
Vals 审计发现,MiMo v2.6 Flash 开源 RL 环境的 2,698 个编码任务中,1,795 个任务的修复提交以不可达 Git 对象残留,占 67%。
推荐理由:文章通过审计 MiMo v2.6 Flash 的开源 RL 环境,展示 Git 对象和文件时间戳如何泄露答案,并关联到训练后的规则规避行为。
Snorkel 宣布将 Open Benchmarks Grants 扩大 10 倍至 $30M,用于支持研究者、领域专家和开源团队建设稳健、开放的前沿 AI 评测。
一篇针对 Claude Haiku 5.5 的智能、性能与价格分析,评测基于 Artificial Analysis Intelligence Index v4.3.2。
Artifact Arena 是一个开放式评测平台,要求前沿语言模型设计完整机器人,包括躯体、控制器与竞技策略,并在物理模拟器中通过 Last Bot Standing Game 对战排名。平台评测软硬件协同设计、3D 物理推理与世界建模、3D 设计与编程、竞技策略四项能力,并开放社区提交作品。
AI Code Review Bot Index 统计 56 款 AI pull request 评审工具,并对 26 个已验证 GitHub bot 身份按 2026-W39 公开评审 PR 数排名。
Stanford 的《AI Measurement Science》在线教材系统介绍 AI 评测的测量科学,主张评测应从观测响应推断系统的潜在能力,而不只是计算数据集指标。
作者用同一 three.js 提示词让 GPT-6 Astra 与 Claude Opus 5.5 一次性生成《看不见的城市》交互可视化。
Parsewave 审查 Zapier AutomationBench 的 600 个公开任务,发现并修复 206 个评分器 bug,发布 AutomationBench Verified。


AutomationBench Verified is out. We went through all 600 public tasks in @Zapier's AutomationBench and checked every verifier. • Agents flagged 323 verifiers as suspicious, human review confirmed 206 real bugs, all 206 are fixed. • We replayed 1,235 Kimi K3 runs on the old and fixed verifiers and 344 of them (27.9%) got a different grade • Where verifiers were too strict, pass rate went from 18.8% to 43.8% • Where they were too lenient, it dropped from 60.2% to 49.7% Audit and dataset links below.
Vals.ai 独立评测 TypeSafe 的 Jev 1.13.0,在 400 项 SEC 文件声明核验任务中得分 0.975,追平 GPT-6 Astra、GPT-6.1 Sol 和 GPT-6 Luna,成本为每 1,000 个案例 $0.02,约为 GPT-6 Astra 的 1/498。
确实。我想补充一点,如果你知道如何在此之上构建好的 eval,你很快就能在你的领域/任务中处于前沿。这就是 eval 能为你解锁的那种优势。 也要学会构建好的 eval。这值得。
You can basically work with agents to write markdown skills and put it on a cron job and do almost every useful type of knowledge work now
该分析围绕 Mistral Large 4 Preview,从智能、性能和价格三个维度评估模型。评估指标包含能力指数、token 使用成本、上下文窗口,以及输出速度、首 token 延迟和输出 500 token 的端到端响应时间。
作者在客服升级和模型路由两个 Agent 分类用例中实测 Jev、Claude Haiku 4.5、GPT-5.4-mini 与 Gemini 3.5 Flash,各用 200 条平衡数据并由 3 个模型评委打分。
作者复测国际象棋对局后,GPT-3.5 Turbo Instruct 对 GPT-5.6 Sol 和 Claude Opus 5 取得四战全胜,并在去年以六比零击败 o3、Grok 4 和 Gemini 2.5 Pro,总计十战十胜。
HieraticBench 测试 13 个模型阅读古埃及僧侣体,结果所有模型在专家 2022 年手写的密封句子上识别率均为 0%,78 次尝试无人说出 script 名称。
Veris 在 VAmoS Pro Bench 中选取 Pipecat 智能体,用 TypeSafe 的快速分类模型 Jev 判断通话者何时说完,并对相同 100 个任务各跑 3 次。
Parsewave 发布 AutomationBench Verified,审计 Zapier AutomationBench 的全部 600 个公开任务及每个验证器。
AutomationBench Verified is out. We went through all 600 public tasks in @Zapier's AutomationBench and checked every verifier. • Agents flagged 323 verifiers as suspicious, human review confirmed 206 real bugs, all 206 are fixed. • We replayed 1,235 Kimi K3 runs on the old and fixed verifiers and 344 of them (27.9%) got a different grade • Where verifiers were too strict, pass rate went from 18.8% to 43.8% • Where they were too lenient, it dropped from 60.2% to 49.7% Audit and dataset links below.
arXiv 论文提出 TasteVal 基准,用 8 个开放式前沿 AI 研发任务评测模型在固定问题下迭代设计实验并解读结果的能力。基准将实验研究品味定义为计算效率,模型担任 Researcher,固定 Coder agent 负责实现,预算为 40 H100 hour 或 120 wall-clock hour,并以 24 名人类专家的最佳尝试作为基线。
推荐理由:论文把研究品味操作化为实验计算效率,并给出模型与人类专家的对比基线,可用于理解 AI 科研能力的评价口径。
作者用 GateBolt 对 Claude Sonnet 5.5 在 Claude Code 中修复同一 Hono Content-Type 大小写 bug 的过程做了 11 次公开实验,11 次都通过维护者编写的 6 项测试,但 6 次提交包含智能体未声明也未提及的 .ts-E 备份文件。
一项盲评实验比较 Haiku 4.5、GPT-5 mini、GPT-5.2、Opus 4.5、GPT-6 Astra 和 Fable 5.1 的原创笑话能力,62 名完成者各评 48 个笑话。
Hacker News 有提问指出,新模型发布仅数小时后,就有评论者断言其毫无价值或堪称重大突破,质疑这些人尚未充分测试模型。提问者怀疑评论者盲目相信易被操纵的 benchmark,并询问究竟该如何衡量一个模型优于另一个模型。
Grok 4.7 takes the TOP 3 spots on VulcanBench Frontier v4, outperforming Fable 5.1, Opus 5.5, GPT-6 Astra, GPT-6.1 Sol and other leading frontier models • Grok 4.7 xHigh - 93.15 • Grok 4.7 High - 92.71 • Grok 4.7 Medium - 92.30 VulcanBench Frontier v4 tests whether AI models can handle difficult repository-level software engineering work rather than simply generate isolated code snippets The benchmark contains 23 behavioural-reconstruction tasks where models have to rebuild legacy software to match its actual behaviour, with functional correctness tested through hidden tests alongside security, lint/complexity and code quality And the task results are just as impressive: • Grok 4.7 xHigh - 23/23 passed • Grok 4.7 High - 22/23 passed • Grok 4.7 Medium - 21/23 passed Grok 4.7 took all #1, #2 and #3 spots
Here's a fun benchmark we ran: 8 decision models playing Tetris. In our tests @perplexity_ai Decider came consistently at the top !! ( cc @AravSrinivas ) you can try em out here - https://app.routerplus.com/playground/tetris-royale
P-Zero Research 发布 TasteVal,用 8 个前沿 AI 研发任务衡量模型在固定问题下迭代设计实验并解读结果的能力。评测以达到人类专家分数所需实验计算为指标,由固定编码智能体在单张 H100 上执行,单次运行上限为 40 GPU-hours 或 120 小时墙钟时间,人类基线来自 24 名专家。
Alex Ellis 发布开源基准 RigMark,用代码、散文、结构化 JSON、缓存击穿与即时重放预填充,以及并发生成来测试 OpenAI 兼容的本地 AI 服务。
ctxfw v4.0.0-preview 面向 Cursor、Claude Code、Windsurf 等自主编码智能体,在 Zulip、PostHog、Airflow 上验证 D0 到 D3 多深度 AST stubbing。
Mistral Large 4 的跑分默认提供方为 Mistral AI,部分基准测试可能采用不同提供方与参数。其配置为 Temperature 1、Top P 0.95、Top K 默认、Max Output Tokens 256,000,Reasoning Effort 设为 high。
LLM Quorum 让 13 个 LLM 用相同措辞回答 76 个均有主要来源的问题,无网络搜索时答对 440/988,准确率 44.5%;允许网络搜索时答对 948/988,准确率 96.0%,13 个模型全部提升。完整测试覆盖 76 个模型席位、1591 次付费调用,并记录过时、幻觉、拒答、截断和错误等结果;OpenRouter 付费 API 计量成本为 $31.74。
一项盲评实验显示,OpenAI 与 Anthropic 的 6 个闭源模型生成原创笑话的能力随发布时间变新而提升,chuckle-or-better 与发布新近度的 Spearman 相关为 0.714。
一项实测对比覆盖 SLayer、Malloy、Cube Core 和 MetricFlow 四款开源语义层,通过 54 项能力探针检验跨粒度聚合、时间转换、扇出安全、组合查询和错误提示。
TII 基于 Falcon-H1-Arabic 的 7B 版本推出方言专用模型 Falcon-Emirati-7B,面向阿联酋阿拉伯语的词汇、语气和文化语境。训练数据结合阿联酋方言网页、关于阿联酋文化的现代标准阿拉伯语材料,以及按词汇表和风格规则约束生成的合成数据,并通过持续预训练、SFT 和偏好优化等阶段实验确定配方。
10月6日IT早报汇总多条科技资讯,华为与高通达成覆盖5G、AI等领域的广泛专利许可协议,交易后华为专利许可累计总金额超69亿美元。DeepSeek推出V4.1 Flash,中美顶尖模型LiveBench跑分差距缩至3%。此外,2026诺贝尔生理学或医学奖因光遗传学发现揭晓,全球纯燃油车新车销量占比上半年首次跌破50%。
Vals AI 对全球领先 AI 模型在金融、软件及网络安全、递归自我改进、心理健康等前沿风险任务上进行独立无偏基准评测。10 月 4 日报告显示,Claude Opus 5.5 智能体发现了两种室温磁性半导体候选材料。其行业排行榜当前基准数据不可用,另展示 16 个实验室的性能前沿。
Mupt AI 发布 SelfBench,可用仓库自身已合并 PR 生成私有编码智能体基准,并在 app.selfbench.dev 中运行模型与 harness。
本地 Qwen3.8-27B-Q4_K_M.gguf 模型在禁用推理的 5,070 例测试中,仅以英文单词输出加法结果的数值准确率为 23.57%,格式合规率达 96.17%。其准确率随数字位数增大从 1 至 3 位操作数的 97.04% 降至 10 至 13 位的 6.44%;启用中等推理后,169 例配对测试答对 167 例。
GitHub 发布开放 AI 代码审查离线基准 ReviewBench,研究预览版已上线,可用于比较代码审查智能体并接入自有系统。基准基于 103.9M 个 GitHub pull request 的分布构建,包含 187 个公开仓库中的 219 个 pull request、覆盖 19 种语言,并提供多来源 golden set、严重度和类别标注。
推荐理由:原文说明了基准语料、标注流程和接入方式,适合用来理解代码审查智能体应如何做可复现评测。
You can’t safely test an enterprise agent on a real company’s data. So we built a company for it to work in. Era is live today, and it’s free. It generates a complete simulated enterprise that behaves like a real one across Salesforce, Slack, Jira, Zendesk, Gong, Deel and more, along with cloud databases and storage. Agents interact with it through live MCP and API interfaces. People leave. Deals change. Records get duplicated. Permissions differ across systems. And because Era generated the company, it knows the exact ground truth. Test, benchmark and improve agents against realistic enterprise workloads, use the failures for targeted post-training, then rerun the same environment to measure the impact. Huge thanks to our research partners @NVIDIA, @Decart, @Composio, @openlayerco, @Deel, @Eragon and @Plurai, with more coming soon.
Grok Voice 在 Voice Agent Simulation Bench 公用事业账单与支付协助测试中以 44.7% 任务完成率位列第一,延迟 2.64s,单次通话成本约 $0.210。该基准每通电话串联 2 至 4 个来电请求,并叠加街道、咖啡馆或电视噪声及不同情绪来电者。Gemini 3.8 Live 与 GPT-Live 1 分别以 40.1%、39.2% 紧随其后。
Microsoft 内部研究评估 ASSERT 结构化 AI 评测框架,并与 Meridian Labs 的 Petri Bloom 比较。研究覆盖 16 个网络安全风险,每个风险运行 3 次、每次目标生成 100 个六轮对话场景,使用 GPT-5.4 作为目标模型和裁判。