bluesky — Dr Stefanie Affeldt — 15 Sep 2026
»We are sharing the first complete computer-checked proof of #Fermat’s Last Theorem. #Claude worked largely autonomously…
#ai-mathematics #proof-assistants #formal-verification
»We are sharing the first complete computer-checked proof of #Fermat’s Last Theorem. #Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.« #KI #AI buff.ly/q2VIY8r