@vandox
Es ist eine neue Runde in der Formalisieren-lokal auslegen-Schaukel. Es gab da schon ein paar die letzten paar Jahrhunderte.
Buch ist spannend aber viel zu teuer für die paar Seiten. Bestellts in die lokale Bibliothek.
Abgesehen davon: Selbst wenn man das formalisieren will, muss die Basis sauber sein, sonst wird das epic GIGO.
Und noch weiter davon abgesehen, dass ich den LLMs (d.h. statischen KI Systemen) jetzt keine Fähigkeit zur formalen Logik unterstelllen würde. Das ist dann doch eher das Gebiet der symbolischen Systeme oder Kombinationen beider. Aber then again...