Nepřehlédněte článek: Umělá inteligence rozlouskla 90 let nevyřešený matematický problém