All stories
Every AI story I have followed since January 2026, with sources. Each piece says how certain it is.
2 entries
8 September 2026 · OpenAI
OpenAI's agents solve a Millennium Prize problem, and two mathematicians ask where the route came from
On 8 September OpenAI said that about 10,000 agents, running on an internal model, had found a proof in 88 hours that solutions to the three-dimensional Navier-Stokes equations can break down. A computer checked the proof in Lean. Half a day earlier, Tristan Buckmaster of New York University had published related results with Levent Alpöge, together with a statement on how OpenAI moved onto the same problem after hearing rumours about their work. The dispute is about credit and about what happens to user data. Nobody has shown that anything was stolen.
Read →
6 August 2026 · Stanford / Arc Institute
Genome language models design working viruses
The journal Science published research by Samuel King, Brian Hie and colleagues at Stanford and the Arc Institute, in which genome language models designed complete new bacteriophages. These are language models trained on genetic code instead of text. Of about 300 designs the team made in the lab, 16 worked. Combinations of them overcame E. coli strains that resist the natural phage ΦX174.
Read →