September 4, 2026
Friday
Artificial Intelligence
- Extropic introduces Z1T, sparse transformer-like models designed for probabilistic hardware — an initial co-design study claiming over 100× energy-efficiency gains versus GPUs.
- Claude formalizes Fermat’s Last Theorem in Lean — Anthropic reports the first complete computer-checked proof, produced largely autonomously over 11 days across 13 million lines of Lean.