Die 722 Mathematikarbeiten von OpenAI sind ein Weckruf, kein Triumph

Die Veröffentlichung von 722 KI-geschriebenen Mathematikarbeiten durch OpenAI an einem Tag ist eine Schlagzeile, die die Menschen entweder zum Jubeln oder zur Panik bringt, und beide Reaktionen gehen am Kern der Sache vorbei.

Der nützliche Teil: Viele Proofs werden mit Lean-Versionen geliefert, die ein Computer Zeile für Zeile überprüfen kann. Das stimmt, und es ist ein Schritt in Richtung Mathematik, den Sie ohne Ausschuss überprüfen können.

Der unangenehme Teil: Der Band selbst wurde von Mathematikern, die Einwände gegen den Prozess hatten, als „Slopokalypse“ bezeichnet, nicht gegen die Ergebnisse. Nichts davon löste ein Millennium-Preis-Problem.

Die Lektion für den Rest von uns: KI kann jetzt schneller Arbeit auf Expertenniveau leisten, 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.