FLT has been formalized in Lean 0 ▲ I write, therefore I am 1 hour ago · Science · hide · 0 comments Today came the news that the Fermats' Last Theorem has been formalized in Lean by the AI agent Claude. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
