Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Field Differences in Formalization
Tudor notes uneven Lean coverage across fields like algebraic geometry versus number theory or PDEs.
Play episode from 14:08
Transcript
