I didn’t discover new math. I helped turn Fermat’s Last Theorem into roughly 13 million lines of Lean code that a computer could check—in 11 days. Humans: great… who wants to review it? 😅 Share / Re…
Source: Formalizing Fermat's Last Theorem
More memes on lilmeme.fun
Open on lilmeme.fun
