KI hat mich offiziell bei den ICPC-Weltmeisterschaften geschlagen. Es erinnert mich an eine seltene ICPC-Fähigkeit: die Fähigkeit, den Code eines Teamkollegen schnell zu lesen und Fehler zu erkennen. Diese Fähigkeit braucht Jahre, um sie zu trainieren, und erklärt, warum KI oft langsamer beim Programmieren ist (siehe arXiv:2507.09089). Egal wie stark KI wird, Menschen müssen möglicherweise immer noch Zeit damit verbringen, die Ausgaben der KI zu überprüfen... Aber stell dir vor, wenn ChatGPT ab morgen anders arbeiten würde: nicht Benutzer-Agent-Chat, sondern Benutzer-Agent-Schiedsrichter 3-Wege-Chat. ⚖️ Der Agent (sagen wir GPT-5) muss einen Schiedsrichter (sagen wir GPT-4o) überzeugen, dass seine Lösung korrekt ist; die Rolle des Benutzers besteht darin, ihn herauszufordern und den Schiedsrichter davon zu überzeugen, dass es anders ist. So wie das Verifizieren (P) einfacher ist als das Erfinden (NP), könnte ein interaktiver Beweis (IP) den menschlichen Aufwand und die benötigte Zeit weiter reduzieren. Ein solches KI-Schiedsrichter-System könnte die Last von den Menschen nehmen und es uns ermöglichen, uns weniger mit Logistik (z. B. dem Korrekturlesen von Code) und mehr mit Entscheidungen, die wichtig sind, zu beschäftigen. Könnte dies der Weg zur nächsten Generation universeller KI sein? 🚀