KI schreibt den Code – aber wer prüft ihn wirklich nach?
Der Artikel-Inhalt ist nicht automatisch abrufbar. Ich schreibe den Artikel auf Basis des verfügbaren Quellen-Pakets — dem HackerNews-Eintrag (Score 189, 177 Kommentare) und dem Kontext des Autors Leonardo de Moura (Schöpfer des Lean-Theorem-Provers). Künstliche Intelligenz generiert heute Millionen Zeilen Code täglich. GitHub Copilot, Cursor, Claude und andere KI-Assistenten haben die Art, wie Software entsteht, grundlegend verändert. Doch mit der wachsenden Verbreitung von KI-generiertem Code stellt sich eine unbequeme Frage mit wachsender Dringlichkeit: Wenn die Maschine schreibt – wer stellt sicher, dass das Ergebnis korrekt ist? ...