heise online· Detlef Borchers·· vor 2 StundenKI-Bewertung37
Wie der Computer beim Beweis des Vier-Farben-Satzes half
Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewies
KI-Überblick
Wolfgang Haken und Kenneth Appel legten 1976 einen computergestützten Beweis für den Vier-Farben-Satz vor. Er besagt。
Quelle:heise online · heise.de