Zal AI ooit de grootste wiskundige problemen oplossen?

Een programma dat wiskundige bewijzen kan leveren, een digitale assistent die meekijkt met ploeterende wiskundigen.