Read news on formalizes with our app.
Read more in the app
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
