
Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Current Workflows with Aristotle
Tudor outlines how mathematicians use Aristotle for questions, auto-formalization, and proof checking.
Play episode from 15:46
Transcript


