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
- The three brainworm schools of AI discourse: denialist, x-risk, and toolism — mimi10v3 · 2026-09-07
- AI safety predictions keep turning from doomer nonsense to routine reality — DavidSKrueger · 2026-09-07
- Developer Yacine: shockingly little of my life progress was blocked by intelligence — yacineMTB · 2026-09-07
- Grok tally: AGI has been declared "here" at least 4 times since Nov 2025 — suchenzang · 2026-09-07
- Emad Mostaque doubles down: AI will write nearly all code by 2027, developers gone by 2028 — jasonkneen · 2026-09-07
- Free open-access game theory textbook with 165 fully solved exercises — pickover · 2026-09-07