Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Mathlib: Open Repository of Formalized Math
Tudor describes Mathlib's scale, role, and importance as a shared library for formalized mathematics.
Play episode from 12:06
Transcript
