
Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Novelty and Frontier Problems
Tudor reflects on AI solving novel first proofs and the goal of tackling Millennium-scale problems.
Play episode from 22:44
Transcript

Tudor reflects on AI solving novel first proofs and the goal of tackling Millennium-scale problems.