Xena Project post says Anthropic has taken the lead in formalizing Fermat’s Last Theorem
A Xena Project blog post discusses the effort to formalize Fermat’s Last Theorem and says Anthropic appears to have beaten the author to that milestone. The post highlights growing...