Will machines eat mathematics ? | Kevin Buzzard | TEDxImperialCollege

Will computers be able to do mathematical research, make conjectures, and prove theorems ? Kevin Buzzard gives an overview of the current state of the art of two tools: large language models and interactive theorem provers. Neither of them alone is anywhere close to being able to replace human mathematical researchers right now, but perhaps in the future, a combination of them will be able to make some progress. Kevin Buzzard got his Ph.D. from the University of Cambridge in 1995 and settled in London after staying in Berkeley, Harvard, and the Princeton IAS. He became a professor of pure mathematics at Imperial College London. This talk was given at a TEDx event using the TED conference format but independently organized by a local community. Learn more at www.ted.com/tedx