Es gab viele “Warnzeichen” bevor Computer starke Schachspieler und bevor sie starke Gospieler wurden. Computer machten im Schach von 1976 bis 1998 stetigen Fortschritt von rund 100 Elo-Punkte pro Jahr, und sie machten stetigen Fortschritt in den Rankings der Internet-Go-Server. Wir haben bisher keine solche “Warnzeichen” aus der Mathematik bekommen. Wir können Berechnungen, Integration und kombinatorisches Teleskoping automatisieren, aber das führt nicht zu naheliegenden Verallgemeinerungen. Außerdem machen wir in der Mathematik viel mehr als Sätze zu beweisen.
Über den Stand der maschinellen Beweisverifikation hatten wir hier und hier mal geschrieben und zu von Computern aufgestellten mathematischen Vermutungen gibt es diese Webseite von Doron Zeilberger.
Kommentare (10)