Get the latest tech news
Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
Anthropic says Claude completed years of expected math formalization work in only 11 days with limited human guidance
None
Or read this on TechRadar
