Claude formalizes Fermat's Last Theorem in Lean, verifying the proof in 11 days | CodeYourCraft