Anthropic AI formalizes proof of Fermat's last theorem in 11 days.
Read the original at www.nature.com→Original headline: "Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days"
Coverage timeline
- Sep 8, 00:07 UTC Hacker News (AI) lead source Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days