Ki-beweise

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 […]