Nice accessible talk from the Simons Institute presenting one researcher’s view on where math is and where it’s going.
Summary: there is too much to keep up with and modern proofs are almost too big for individuals to grok. AI with automatic theorem provers is a promising immediate term path forward.
You must log in or register to comment.
Wow… -10
I wonder how many of you actually watched the lecture