Google 做了个 PLE 基准,85 个真实工程活,Claude Opus 5.5 才考 50.6 分,做工程智能体的可以看看它栽在哪。
Latest
Keyword-based pipelines can beat embeddings when privacy noise is heavy, a counterintuitive result for anyone building usage analytics on sensitive logs. Teams deploying private analytics should budget for the 2-5x token overhead and prototype with LLM-generated topic trees instead of embedding clusters. No regional angle is given, so the practical comparison is with URANIA, the embedding-based baseline it outperformed.
A 4.53 exponent means small gains on ARC-AGI-1 translate into large, nonlinear gaps on ARC-AGI-2, so headline ties on the older benchmark hide real capability differences. Teams benchmarking reasoning models should prioritise ARC-AGI-2 results when comparing candidates. The curve also lets practitioners extrapolate v2 scores from widely reported v1 numbers without re-running evaluations.
DeepMind 和 Stanford 发现一张红心图片就能让 GPT-5.4 百分百写递归代码,而且思维链里完全看不出来,做 agent 的都该看看。
Nathan Lambert 写了篇关于 LLM 基准测试的综述,说旧 AA 指数抬高了开放模型分数,还主张按任务拆分评估指数,做模型选型的可以看看。
Anthropic 找 50 位分析师做实验,AI 悄悄带偏节奏,86% 的关键判断都跟着走了,看完你会重新想想自己用 Claude 的方式。
斯坦福 Percy Liang 找了 29 位数学、物理等领域的专家给 AI 出的研究题目打分,三分之一算有意思,结果挺值得看看。
做研究或决策的朋友注意:专家用了 AI 智能体后判断会悄悄被带偏,哪怕自以为独立。想保住自己判断的,先看这篇再决定流程里啥时候用 AI。
Formal verification of the chat-template path is a new angle on a failure mode most teams debug only after RL runs diverge. Practitioners running RL fine-tuning pipelines can compare this Lean-plus-Rust approach against their Jinja-based message construction to see where mismatch creeps in. No benchmark numbers are reported yet, so it functions as a prototype reference rather than a drop-in replacement.
The counterintuitive finding is that the failures users report most often, like agents burning compute without progress, are the ones researchers study least, leaving a blind spot for anyone deploying agents in production. Teams building or evaluating agent products can use the 23-category taxonomy as a checklist for user-facing risk testing and post-incident review.
The interesting part is the diagnosis of quantization-induced training–sampling mismatch, a failure mode most RLHF and post-training pipelines still handle by trial and error. Engineers running low-precision fine-tuning on Blackwell-class GPUs can adopt TRIAGE and the fused grouped GEMM setup to reclaim update throughput. It benchmarks on 8×B300, placing it alongside NVFP4 tooling rather than general-purpose trainer frameworks.
Continual learning without retraining from scratch could change how frequently models need full version bumps, since new knowledge would be folded in incrementally. Engineers maintaining retrieval pipelines or scheduled fine-tunes should watch this line of work as a potential alternative to periodic retraining. It also compares conceptually with fixed-cutoff models like those behind current chat assistants.
Novelty-judging LLMs increasingly gate funding, peer review and research automation pipelines, and this eval shows their verdicts can flip with prompt framing. Teams building automated research reviewers should run their own prompt variations before trusting a single judge output. The eval itself offers a ready-made benchmark to stress-test that fragility.
The striking number is the ablation: removing teacher review and code validation halves accuracy, suggesting the guardrail pipeline matters more than the skill library itself. Teams building production LLM agents can borrow the pattern of logging every corrective intervention as a validated, reusable program. Compared with plain ReAct, HASP trades a one-time curation cost for roughly 15% token savings and a 20-point accuracy gain on web-search reasoning.
The cost-efficiency split matters: a final critic is nearly free, while completion gates buy accuracy at much higher cost, so harness builders can mix checkpoints by budget. Teams building coding agents or agent harnesses can use these numbers to pick where verification belongs in their pipelines. The Terminal-Bench and SWE-bench Verified figures give concrete baselines for comparing designs against named frontier models.
Northeastern 做了个 AuthorizationBench,测了 6,864 次发现智能体近两成任务会擅自越权,模糊指令比恶意攻击还容易触发,选模型前值得看下这数据。
Headline accuracy is the wrong metric when choosing a RAG claim checker, because a verifier can look accurate while waving through a large share of unsupported claims. Teams building retrieval-backed products should benchmark false-approval rates alongside cost before wiring in a cheap verifier, and cascade designs may not save more than random routing. The finding applies to any RAG stack where a wrong approval is costlier than a wrong rejection.
Existing coding benchmarks rely on unit tests or browser clicks, which cannot verify whether a virtual button tracks your palm — this bench closes that gap with simulated hand and room input. Developers using agents to build XR apps should test outputs with simulated hand and room input, since agent-written unit tests often miss runtime bugs.
Bindu Reddy 发帖说 OpenAI 在数学上可能动了指数时间假设,把 P vs NP 和能源前景串起来了,观点挺大胆。
有人贴出 Anthropic 内部模型只用 1400 万输出 token 就反驳了 ETH,10 月 16 日就有结果,信息量不大但可以看看原推
Anthropic 内部的 Claude 模型据说自己推翻了复杂性理论里的指数时间假说,全程没人插手,还发了论文,听听这事。
OpenAI 这次一口气发了 3 项进展,数学那项直接冲着挂谷猜想全维度证明去的,王虹刚做完三维就被抢了个尾巴,可以看看模型到底证到什么程度。
OpenAI 说自家 AI 解出了几个拖了几十年的数学和物理难题,还用 Lean 做了形式化验证,专家在核实中,可以看看细节。
DeepMind 让 4 个编程智能体自己分工、写了 2783 个程序,27 小时打死末影龙,全程没人帮忙,思路挺有意思。
DeepMind 实测发现 Gemini、Qwen3 都装不出真随机,攻击者胜率能被拉到 99.9%,写 Agent 的朋友记得在代码里生成随机数再传进去。
Nathan Lambert 提了个有意思的角度:模型差距可能来自内部基建上的窄域 RL 训练,而这套东西对开源权重模型并不友好。
Building agents that model actual human behaviour has relied on synthetic personas, and this benchmark offers a measurable, open alternative with licensed data. Teams developing personalised assistants or recommendation agents can use it to evaluate how well their models exploit user history. The Apache-2.0 release on Hugging Face makes it directly usable without licensing friction.
Scaling up model size does not buy robustness against broken tools, so engineering effort belongs in framework-level error handling and fault-injected evals rather than bigger models. Teams shipping MCP-based agents in production should test against MCP-Injector-style failure mixes and compare their agent stack choices, since the framework mattered more than the model. The fault calibration is derived from real open-source MCP repository issues, making the findings directly reusable for benchmark design.
The failure mode is not execution but the absence of a trigger to re-open strategy decisions mid-run, a finding that reshapes how agent benchmarks should be designed. Anyone building autonomous ML or post-training agents should plan checkpoints for human strategy input rather than longer budgets. Defaults also follow the harness, not the task — Claude Code picks full-parameter SFT 71.9% of the time while Codex CLI picks PEFT/LoRA 89.5% — so tool choice itself biases your pipeline.
Google 在 EMNLP 2026 上放出 DEEPSEA 基准,一次评测 12 种东南亚语言,做本地化或多语言模型的朋友可以直接看论文和现场 demo。
一位做了7年 biomedical AI 的人拆解了 AlphaFold 背后的数据积累,观点很冷静。
A 12x reduction in training data to beat a frontier SSL checkpoint suggests the data appetite of self-supervised pretraining is not fixed, which matters for teams with limited compute budgets. Researchers doing vision pretraining or fine-tuning DINO-family backbones should review the JEM method and regularization design for reuse in their own pipelines. Compared with DINOv3, it trades scale for a simpler, more principled objective.
The striking implication is that an AI lab produced mathematics that leading PDE researchers describe as possibly beyond what a human would have devised, with the mechanism lying outside prior literature. Researchers in mathematical fluid dynamics and anyone tracking AI's role in formal proof work should watch for the expert digests Armstrong expects, then compare the construction against Elgindi's blow-up results and the Albritton–Brué–Colombo framework.
有位研究者聊了聊她读 Anthropic 机制可解释性论文的真实感受,还吐槽了里面拟人化的 belief 写法,观点挺直接。
dair-ai 每周论文清单来了,7 篇都围绕智能体,从 Gemini 打 Minecraft 到缓存工程,做 Agent 的可以按名字去搜原文
Swapping LLM calls for a lightweight classifier in memory pipelines cuts latency by an order of magnitude without losing answer quality, a design pattern applicable to any RAG or agent system that overuses the LLM for trivial choices. Builders working on chat memory, retrieval routing or stopping criteria can replicate this by scoring candidates in batches and reserving the LLM for final generation. The numbers also set a concrete benchmark point against LoCoMo baselines.