Eine amüsante Metapher für KI, die viel Mathematik/Code produziert und Korrektheitsbeweise mithilfe formaler Verifikation erstellt, ist, dass wir in eine NP-ähnliche Ära eintreten, in der die Aussagen Mathematik/Code sind und die Zeugen diese Beweise sind.

Natürlich ist es nicht perfekt, da wir den Code immer noch (ich schätze) selbst überprüfen können