Gödels Erbe: Warum KI niemals alles beweisen kann
Infinities, impossibilities, and the man in the white linen suit
Kurt Gödel, der größte Logiker seit Aristoteles, verhungerte 1978 in Princeton – überzeugt, vergiftet zu werden. Sein Unvollständigkeitssatz zerstörte Hilbert's Traum von einer perfekten Mathematik und legte den Grundstein für den Computer. Heute, im KI-Zeitalter, sind seine Erkenntnisse aktueller denn je: Von Schmidhubers Gödel-Maschine bis zu Sakana's Darwin Gödel Machine zeigt sich, dass formale Garantien durch empirische Tests ersetzt wurden. Der Artikel erklärt Gödels Theoreme, Turings Halteproblem und die Grenzen des maschinellen Lernens – und warum Intelligenz kein reines Skalierungsproblem ist.
Der Unterschied zwischen „beweisbar besser“ und „beim Benchmark-Test besser abgeschnitten“ ist der Unterschied zwischen einem Flugzeugtyp, der gegen eine Spezifikation zertifiziert wurde, und einem, der einfach noch nicht abgestürzt ist.