В этом переводе презентации британского математика Кевина Баззарда мы увидим, что следующий комикс xkcd безнадежно устарел.
![image](https://habrastorage.org/webt/sa/ki/l-/sakil-_1-jnblr_okhknavy4csu.png)
Конечно, он может быть не прав. А может быть и прав.
![image](https://habrastorage.org/webt/sa/ki/l-/sakil-_1-jnblr_okhknavy4csu.png)
Каково будущее математики?
- В 1990-х компьютеры стали играть в шахматы лучше людей.
- В 2018 компьютеры стали играть в го лучше людей.
- В 2019 исследователь искусственного интеллекта Christian Szegedy сказал мне, что через 10 лет компьютеры будут доказывать теоремы лучше, чем люди.
Конечно, он может быть не прав. А может быть и прав.