Wir liefern Expertenarbeit schneller, als wir sie prüfen können

„Die 722 KI-geschriebenen Mathematikarbeiten von OpenAI an einem Tag“ lautet die Schlagzeile, die Bauherren mehr erschrecken als trösten dürfte.

Viele mit Lean-Versionen ausgelieferte Beweise können von einem Computer Zeile für Zeile überprüft werden, was real und nützlich ist. Aber der Band selbst wurde von Mathematikern, die Einwände gegen den Prozess hatten, als „Slopokalypse“ bezeichnet, und keiner löste ein Millennium-Preis-Problem.

Im Unterricht geht es nicht um Mathematik. Es ist so, dass die KI jetzt schneller Arbeiten auf Expertenniveau produzieren kann, als wir sie überprüfen können. Der Engpass war nie die Generation. Es war eine Bestätigung und ist es immer noch.

Feiern Sie die Fähigkeit, aber bauen Sie die Überprüfung auf. Eine Welt, die nicht überprüfen kann, was sie erzeugt, ist eine Welt, die selbstbewussten Unsinn in großem Maßstab verbreitet.

Ich behandle jeden KI-Entwurf als ersten Entwurf eines sehr schnellen, sehr selbstbewussten Praktikanten. Ich lese das Werk immer noch.