The Data Exchange with Ben Lorica cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app