Weekly AI roundup: Cybercab rides without steering wheel, Fermat's Last Theorem formalized in 13M lines of Lean 4
Dr_Singularity · x · 2026-09-07
A roundup of the past week's biggest AI milestones, with the pace clearly accelerating:
- Tesla began offering public rides in its fully self-driving Cybercab, which has no steering wheel
- GPT-6 Astra sparked major buzz
- AI is starting to build matter at the atomic scale
- Anthropic uploaded a Lean 4 proof of Fermat's Last Theorem — 13 million lines of code spanning over 29,000 supporting theorems across many areas of math
- Scientists mapped the complete brain and central nervous system of an adult male fruit fly for the first time
- World Labs introduced Atlas, an AI model reconstructing moving 3D scenes from as few as three cameras, letting creators revisit real moments from angles never filmed
More from AGI Musings
- Benjamin Todd: AI progress beat superforecasters over 18 months — ben_j_todd · 2026-10-26
- AI researchers guessed robots wouldn't outrun humans until 2034 — it already happened — ben_j_todd · 2026-10-26
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ESR on the Bugpocalypse: locking down frontier models only hands the game to Chinese open weights — colinmcnamara · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26