Cozy Reading

Jonah Marcus’s Reviews > The Proof in the Code: How a Truth Machine Is Transforming Math and AI > Status Update

Jonah Marcus
Jonah Marcus is on page 80 of 288
— Aug 20, 2026 10:23AM
The Proof in the Code: How a Truth Machine Is Transforming Math and AI

flag

Jonah’s Previous Updates

Jonah Marcus
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
The Proof in the Code: How a Truth Machine Is Transforming Math and AI


Post a comment »
Comments

No comments have been added yet.


All of Jonah’s status updates
Everyone’s updates from this book