Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days

Article automatically generated from technical news.

(No description available)