Jonah Marcus’s Reviews > The Proof in the Code: How a Truth Machine Is Transforming Math and AI > Status Update
Jonah Marcus
is on page 95 of 288
FLT was just formalized with more lines of code than all of mathlib - wack
— Sep 04, 2026 07:32PM
Like flag