Read news on formalizes with our app.
Read more in the app
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
