# Can Mathematical Invention be Automated?

Submitted by Exponential Times on Tue, 2013-03-05 07:03

Bruno Buchberger, Distinguished Lecture Series, Cheriton School of Computer Science, University of Waterloo - June 16, 2011

The invention of mathematical concepts, theorems and methods is deemed to be one of the most challenging intellectual activities.

Mathematics is the essential source of automation in the innovation spiral from science via technology to economy. Hence, automation of the mathematical invention process is not only a philosophical question but a question of highest practical and societal relevance.

In this talk, the current state of research on the automation of mathematical invention will be illustrated and discussed.