Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Interacting with Math AIs: Interfaces
They compare mathematician interactions to pair programming and discuss I-proving and conversational workflows.
Play episode from 03:46
Transcript
