Terence Tao warnt vor KI-Beweisen: Wenn niemand sie versteht, kippt der Mathematikbetrieb
STANFORD / LONDON (IT BOLTWISE) – Terence Tao zeigt auf, wie KI-Systeme heute zwar korrekte Beweise erzeugen können, die Praxis des Verstehens aber zunehmend aus dem Takt gerät. Er warnt davor, dass kĂĽnftig wichtige Ergebnisse existieren könnten, ohne dass die Community sie zuverlässig vermitteln oder diskutieren kann. Entscheidend ist dabei nicht die formale Korrektheit, sondern […]


#Sophos