Will Computers prove theorems?

Computer Science ›

46:25 | May 15th, 2025

Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have ...Show More