Loading Claude Produces First Formalized Proof of Fermat's Last Theorem in Lean - AI Pulse...