
[33] Michael R. Douglas - G/H Conformal Field Theory
The Thesis Review
The Future of Proof Assistants in Scientific Research
This chapter explores the evolving role of proof assistants in the scientific community, examining their potential as primary research tools versus mere verification aids. Featuring insights from a practicing mathematician, it highlights the challenges in published mathematics and the promise of formal verification to enhance research reliability.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.