Kürzlich traf die bekannte Programmierwettbewerbs-Plattform Codeforces eine wichtige Entscheidung – das Verbot der Verwendung von künstlicher Intelligenz (KI) bei Programmierwettbewerben. Angesichts der rasanten Entwicklung der KI-Programmierfähigkeiten erklärte der Gründer von Codeforces, Michail Mirsaianov, diese Entscheidung sei notwendig, da die Entwicklung neuronaler Netze ein „unübersehbares neues Niveau“ erreicht habe.
Bildquelle: Das Bild wurde mit KI erstellt, Bildlizenzgeber Midjourney
Diese neue Regel richtet sich hauptsächlich an die Teilnehmer der Wettbewerbe. Die Verwendung von KI-Systemen wie GPT, Gemini, Llama und Claude ist während des Wettbewerbs ausdrücklich verboten. Mirsaianov erwähnte, dass die Fortschritte der KI im Bereich der Programmierung nicht zu unterschätzen seien, insbesondere das kürzlich von OpenAI veröffentlichte o1-Modell zeige bei Programmierwettbewerben eine beeindruckende Leistung. In simulierten Codeforces-Wettbewerben erreichte o1 einen Elo-Score von 1807 und übertraf damit 93 % der menschlichen Teilnehmer. In einem Live-Wettbewerb näherte es sich sogar dem „Meister“-Niveau.
Codeforces verbietet die Verwendung von KI jedoch nicht vollständig. Die neue Regel erlaubt den Teilnehmern die Verwendung von KI in einem bestimmten Umfang, z. B. für Übersetzungsaufgaben oder für Vorschläge zur Grammatik und zu kleinen Codeabschnitten. Die Verwendung von KI zur Generierung der Kernlogik oder von Algorithmen ist jedoch verboten. Die Durchsetzung dieses Verbots könnte jedoch schwierig sein, da Codeforces hauptsächlich auf die Ehrlichkeit der Teilnehmer angewiesen ist.
Vor diesem Hintergrund äußerten einige Benutzer ihre Unzufriedenheit mit dieser Entscheidung. Sie argumentieren, dass die derzeitige Technologie es den Teilnehmern ermöglicht, KI-generierten Code leicht zu modifizieren, so dass er einzigartig erscheint, ohne dass sie das Wesen des Codes wirklich verstehen müssen. Sie weisen darauf hin, dass zukünftige Programmierwettbewerbsplattformen auf das Vertrauen der Teilnehmer angewiesen sind und dass Versuche, KI-Modellen entgegenzuwirken, wahrscheinlich zum Scheitern verurteilt sind.
Ähnliche Probleme gab es auch bei anderen kompetitiven Denksportarten wie Schach und Go, wo die KI die Fähigkeiten der Menschen bereits übertrifft. Bei diesen Wettbewerben treten die menschlichen Spieler jedoch direkt gegeneinander an, was den Wettbewerbsgeist bewahrt. Bei anonymen Online-Programmierwettbewerben ist dies jedoch schwieriger zu gewährleisten.
Um einen fairen Wettbewerb zu gewährleisten, erklärt Codeforces, dass es die Entwicklung der KI-Technologie genau beobachten und die Regeln bei Bedarf anpassen wird, um ein Gleichgewicht zwischen fairem Wettbewerb und KI-gestütztem Lernen zu finden. Der bekannte Programmierer George Hotz lobte das o1-Modell ebenfalls sehr. Er hält es für das erste Modell, das wirklich programmieren kann, und ist zuversichtlich in seine Zukunft.
Wichtigste Punkte:
🌐 Codeforces verbietet die Verwendung von KI-Systemen bei Programmierwettbewerben, um auf die rasante Entwicklung der KI-Technologie zu reagieren.
🤖 Die neue Regel erlaubt eine begrenzte Verwendung von KI, verbietet jedoch die KI-Generierung der Kernprogrammierlogik und von Algorithmen.
🔍 Die Durchsetzung dieses Verbots ist eine Herausforderung, da die Plattform auf die Ehrlichkeit der Teilnehmer angewiesen ist.
