Künstliche Intelligenz

Es gibt aber auch wirklich vertrackte Situationen. Der Thread Bildupload (nicht hier) funktioniert bei mir nicht! (Beitrag von Marfrank) liefert ein gutes Beispiel. Das System könnte mir doch erklären, warum bei mir der Bildupload nicht funktioniert, aber bei anderen Leuten schon. Das wäre eine nette Aufgabe für die Künstliche Intelligenz!

Marfrank schrieb:Das System könnte mir doch erklären, warum bei mir der Bildupload nicht funktioniert, aber bei anderen Leuten schon.

Hast Du mal eine KI befragt?

Grüße
Omega Minus

Ich habe es herausgefunden. Ich habe das Bild mit PaintNet in der Größe geändert. Ich verstehe nicht, warum das der Upload-Seite nicht schmeckt.
Kann das eine künstliche Intelligenz herausfinden?

Übrigens: Die Fehlerfreiheit eines Programmes zu beweisen ist unmöglich. Neben Turings Halteproblem (1936) gibt es auch das noch vernichtendere Theorem von Rice (1953):
Jede nicht-triviale, semantische Eigenschaft von Programmen ist unentscheidbar.

Wir können also nicht einfach fette LLMs auf den Code losschicken und erwarten, dass alle Fehler gefunden werden.

Bleibt nur der Versuch, in einem vernünftigen Rahmen Software auf Fehler abzuklopfen. Wir haben für unsere Softeare Unittests, Integrationstests und GUI-Tests. Und dennoch gibt es immer wieder unerwartete Bugs, sowohl in unserem Code (den wir kontrollieren können) als auch in Bibliotheken (die wir nicht kontrollieren können). Dazu läuft unsere Software auch in 'feindlichen' (d.h. nicht von uns kontrolliereten) Umgebungen. Und da gibt es halt auch Bugs im Interpreter, einer DLL, Datenbank, ...

Grüße
Omega Minus