Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewies

T2Covered by 1 source · first reported by Europe/UK: Tech.eu / Sifted / TNW / Silicon Republic / UKTN / Computer Weekly / heise / Golem / t3n / Maddyness / FrenchWeb at 27 Oct, 12:53 UTC

Die Diskussion um KI-Beweise für mathematische Probleme ist nicht neu. Bereits der erste IT-gestützte Beweis 50 Jahre zuvor zog Forscher-Unmut auf sich.

Sources

• T2Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewiesEurope/UK: Tech.eu / Sifted / TNW / Silicon Republic / UKTN / Computer Weekly / heise / Golem / t3n / Maddyness / FrenchWeb27 Oct, 12:53