Skip to content
The day in AI
Fri 4 Sep
Friday 4 September 2026
←
→
No written reading for this day yet. Here is everything that was logged.
Everything from this day
Launches and products
4 Sep 2026
Microsoft
MAI-Image-2.6 (and Flash)
Image model ranks #2 on Arena text-to-image and editing; Flash variant is 2.8x faster than GPT-Image-2-Medium, per Microsoft.
Research
4 Sep 2026
Anthropic
Formalizing Fermat's Last Theorem
Claude agents wrote the first complete computer-checked Lean proof of Fermat's Last Theorem in about 11 days, with 13 million lines of Lean.