- #1

- 148

- 5

It does terrify me the idea of waking up with the news that some AI is able to prove theorems better than any mathematician. That would mean humans would be useless in the field of Mathematics.

I just saw that Microsoft is currently working on creating an AI that can beat humans at the International Mathematical Olympiad (https://www.quantamagazine.org/at-t...ligence-prepares-to-go-for-the-gold-20200921/) and might have it ready by 2021. How, as a mathematician, cope with this idea?

I just saw that Microsoft is currently working on creating an AI that can beat humans at the International Mathematical Olympiad (https://www.quantamagazine.org/at-t...ligence-prepares-to-go-for-the-gold-20200921/) and might have it ready by 2021. How, as a mathematician, cope with this idea?

Last edited: