Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewies
by from heise online News on (#79BEE)
Die Diskussion um KI-Beweise fur mathematische Probleme ist nicht neu. Bereits der erste IT-gestutzte Beweis 50 Jahre zuvor zog Forscher-Unmut auf sich.