Fermat's Last Theorem proved by AI | Lex Fridman
Lex Clips · 8:21 · Watch on YouTube
A number theorist explains why a roughly 13-million-line, sorry-free Lean proof of Fermat’s Last Theorem—attributed to Anthropic, and produced, as he understands it, by two or three people without domain expertise who...