Claude formalized Fermat's Last Theorem in 11 days(www.anthropic.com)
2 pointsby fourfire2 hours ago1 comment