Read news on formalizes with our app.
Read more in the app
Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
