## Naše akce - Seminář SIAM SC - Další akce

### 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 ...