00:00
2026-09-06
korbonits.com
artificial-intelligence
The Question Was Already Written
Anthropic announced on September 4 that its AI system produced a machine-checked proof of Fermat's Last Theorem in the Lean proof assistant, with the artifact publicly available under Apache-2.0. The …