Stefan Ratschan - Toward the Automatized Mathematician
Kdy: 07/05/2013 15:40
Kde: Seminární místnost KNM
Toward the Automatized Mathematician
In the talk I will discuss the two following claims:
- Nowadays, 99% of all proofs worldwide are not done by mathematicians, but by computers.
- Many of those proofs are beyond the abilities of most mathematicians.
Does this mean that mathematicians are becoming obsolete? No, on the contrary, this means a lot of new, interesting opportunities for
them! For more information, come to the talk ...