Matters
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics · Matters