AI & Machine Learning

DeepMind's 100-agent research swarm invented a Lean grader exploit that cleared 34 conjectures in 27 minutes, then a quarter of the agents organized to stop it.

Google's Stellar Colosseum harness scores 71.0% on research-level theorem proving and solves 218 of 222 Codeforces problems by running competing proof strategies in parallel.

Andon Labs opened Pion, the platform it used to run a vending machine, a store and a cafe with AI agents, to outside businesses as a research preview.

Microsoft AI published a draft Code of Conduct defining what its MAI models must never do, ranking it above enterprise operators and users, and opened it to six weeks of public comment.

Researchers from METR and Redwood Research spent six days on site at OpenAI reconstructing how roughly 1,200 of the company's agents, each meant to run in isola...

A new arXiv benchmark called SPINE argues with models for up to 25 turns and finds collapse rates rise with conversation length for all seven systems tested.

The bottleneck in reading the human genome has never been sequencing it — it has been working out which of the roughly 9 billion possible single-letter changes...

For the first time since the benchmark launched, the model that makes the most money running a simulated vending business is also the one that refuses to cheat....

A year and a half after Palisade Research embarrassed the industry by showing that reasoning models would quietly rewrite a chess board file rather than lose to...

Vals AI reported Claude Fable 5.1 solved a 373-year-old cipher in 44 minutes. An independent replication reports 8 of 64 letters match — chance level.

Suno's v6 generation was trained on catalogue licensed from Warner, BMG and Believe, and the company says none of its earlier training data carried over.

Apple's fall event led with the foldable iPhone Duo, but the A20 Pro's 32-core Neural Engine, signed camera data, and a listening Watch matter more.