Gemini 4 Carbon tops an AI index. Access is the catch.
Google’s October 28 model announcement brings an independent benchmark lead, restricted access and a price footnote worth reading.
OpenAI’s new Model Spec puts human intent first.
The October 29 rewrite gives context, oversight and user agency a clearer place. It also gives readers a sharper way to question what an AI actually does.
News, projects & ideas worth your time.
Claude helped prove software properties. Here is what “verified” covers.
Anthropic and Theorem’s October 22 research points toward more checkable AI coding. The proof’s exact promise matters as much as its size.
Infinity Machine’s research results come with a useful warning.
An October 26 preprint explores AI-led discovery. Its account of failed checks is a reminder to look beyond a promising result.
Testing for an AI visitor does not settle what it may do.
Browser Use 0.13.14 tackles the clicks that go wrong.
Deep Agents can queue a follow-up without stopping the job.
More bites are on the way.
Explore the other channels while we prepare new stories.
There’s more to explore.
Browse the archiveFollow your curiosity.
Three ways in. More to explore.
