Machine-checked proofs for Signal protocol code: scope, trust, and cost
Today Google DeepMind published something that has been a stated goal of the formal methods community for years: machine checked proofs that the actual
AI research
Papers, releases and incidents in AI and the hardware it runs on, checked against the primary sources.
This week's research: 1 Nov – 8 Nov 2026
The week belonged to measured claims over asserted ones. METR published an inside look assessment that Anthropic's capability progress has roughly doubled,
This week's research: 25 Oct – 1 Nov 2026
Two frontier releases bookend the week: Gemini 4 Carbon took 1 on Artificial Analysis's freshly updated index under a gated rollout, and Mistral shipped the
Learn in Text, Gate Every Edit, and Know Where the Ceiling Is
You already keep your experience in text. A skill file for each workflow you have learned, a lessons entry when something goes wrong, a memory file your
The Read Side Decides: Where Agent Memory Accuracy Actually Lives
In ten days, seven papers landed on arXiv about agent memory, from groups that overlap — Fudan appears twice, on AgentMemRec and on BehaviorMem, and Meta FAIR