4 septembre 2026

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.