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
- AI accusations shake literary prizes from Caine to Goncourt: who decides what's human? — TuhinChakr · 2026-10-26
- Tech discovers wargaming: applying to be Anthropic's tabletop exercise lead — round · 2026-10-26
- RSI is the culmination of the industrial revolution: a factory building a faster factory — tobias_rees · 2026-10-26
- NYT roundtable asks five experts what the rules for AI companies should actually be — ShakeelHashim · 2026-10-26
- Anti-AI content is algorithm gold and very profitable, quips commentator — annetgriffin · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26