[Sandmann]

Hatte doch irgendwie schon als Schüler vor fast fünfzig Jahren davon gelesen, dass Computer mathematische Beweise erarbeiten können...und tatsächlich:

Automated theorem proving - Wikipedia  

Aber wahrscheinlich bin ich inzwischen zu alt um zu verstehen, warum es sich hier nicht um einen (respektablen) quantitativen, sondern um einen (revolutionären) qualitativen Fortschritt handelt.