KI-Agenten, Terence

KI-Agenten: Terence Tao portiert 24 Java-Applets in Stunden

Veröffentlicht: 12.07.2026 um 09:16 Uhr, Redaktion boerse-global.de

Mathematiker Terence Tao portiert mit KI-Agenten 24 alte Java-Applets in nur wenigen Stunden fehlerfrei ins moderne JavaScript.

Terence Tao migriert Java-Applets mit KI in Rekordzeit
Leuchtendes neuronales Netzwerk über Codezeilen auf einem Bildschirm, symbolisiert KI-Agenten beim Portieren von Software. Illustration mit AI erstellt übermittelt durch boerse-global.de

Terence Tao, einer der bedeutendsten Mathematiker der Gegenwart, hat am 11. Juli 2026 mithilfe von KI-Coding-Agenten rund zwei Dutzend veraltete Java-Applets aus dem Jahr 1999 in modernes JavaScript übertragen. Der gesamte Migrationsprozess dauerte nur wenige Stunden.

Der erfolgreiche Portierungsvorgang demonstriert eindrucksvoll, wie leistungsfähig autonome Agenten inzwischen bei der Bewältigung technischer Altlasten sind. Der KI-Agent produzierte lediglich einen einzigen kleineren Fehler – und entdeckte dabei gleich zwei bislang unbekannte Bugs im ursprünglichen Quellcode von 1999.

Neben der Migration nutzte Tao ähnliche agentenbasierte Arbeitsabläufe, um neue Software-Tools zu entwickeln. Dazu gehören ein Visualisierungstool für die spezielle Relativitätstheorie, das in nur zwei Stunden „Vibe Coding" entstand, sowie ein Visualizer für die Gilbreath-Vermutung.

Google und die Tech-Branche ziehen nach

Die Demonstration KI-gestützter Portierung fällt in eine Woche bedeutender Veröffentlichungen großer Technologieanbieter. Google veröffentlichte am 11. Juli seine Stitch Skills Library – eine Open-Source-Ressource für Agenten wie Claude Code, Cursor und Googles eigene Antigravity 2.0. Die Bibliothek nutzt ein sogenanntes „Staffelstab-Muster" und eine dateibasierte Zustandsmaschine zur automatischen Generierung mehrseitiger Websites.

Im Podcast „Hard Fork" räumte Google-CEO Sundar Pichai ein, dass das Unternehmen im Bereich agentischen Codings zuletzt hinterherhinkte. Mit der Desktop-Anwendung und CLI von Antigravity 2.0, angetrieben von Gemini 3.5 Flash, will Google nun aufholen. Pichai zufolge verdoppelt sich die interne KI-Token-Nutzung für Programmieraufgaben wöchentlich. Ein spezielles „Strike Team" mit Sergey Brin und Führungskräften von DeepMind treibt die Entwicklung voran.

Auch andere Tech-Giganten aktualisierten ihre Angebote:

  • Meta launchte Muse Spark 1.1, ein multimodales Reasoning-Modell mit einem Kontextfenster von einer Million Token, optimiert für Werkzeugnutzung und Computerinteraktion.
  • SpaceXAI präsentierte Grok 4.5, das im Terminal-Bench 2.1-Coding-Benchmark 83,3 Prozent erreichte. Das Training erfolgte auf Zehntausenden NVIDIA-GB300-GPUs.
  • Anthropic integrierte einen abgesicherten Browser in seine Claude-Desktop-Umgebung, sodass Agenten während der Entwicklung direkt mit Webseiten interagieren können.
Anzeige

Während Experten wie Terence Tao KI bereits für komplexe Programmierungen nutzen, bietet die Technologie auch für weniger technisch versierte Anwender enorme Erleichterungen im Alltag. Wie Sie die Möglichkeiten von ChatGPT ohne Vorkenntnisse für Ihre Organisation und Zeitersparnis nutzen, zeigt dieser kostenlose Ratgeber. ChatGPT als Alltagshelfer: Jetzt kostenlosen PDF-Report sichern

KI beweist sich in der reinen Mathematik

Die Anwendung hochintelligenter KI-Modelle erstreckt sich inzwischen bis in die reine Mathematik. Am 10. Juli 2026 gab OpenAI bekannt, dass sein Modell GPT-5.6 Sol Ultra die Cycle-Double-Cover-Vermutung bewiesen hat – ein Problem, das seit 1973 ungelöst war. Mit 64 Sub-Agenten produzierte das Modell den Beweis in weniger als einer Stunde. Der Mathematiker Thomas Bloom bezeichnete den Beweis als elementar und effektiv, bemängelte jedoch fehlende formale Quellenangaben.

Parallel dazu arbeitet ein fünfjähriges Projekt unter Leitung von Kevin Buzzard am Imperial College London daran, den Beweis des Fermatschen Satzes mit der Programmiersprache Lean zu formalisieren. Während eines Workshops am 11. Juli verdoppelten Forscher mithilfe von KI-Modellen die Codebasis des Projekts auf 40.000 Zeilen – an einem einzigen Tag. Die Token-Kosten erreichten dabei täglich Tausende Pfund.

Vom Prompting zum Loop Engineering

Branchenexperten beobachten einen Wandel vom traditionellen Prompting hin zum „Loop Engineering". Dabei arbeiten autonome Agenten in Zyklen aus Ausführung, Bewertung und Wiederholung. Befürworter dieser Methode argumentieren, dass strukturierte Architektur-Workflows wichtiger werden als einfache Refactoring-Befehle.

Anzeige

Der technologische Wandel von einfachem Prompting zu komplexen KI-Anwendungen erfordert ein grundlegendes Verständnis der neuen Werkzeuge. Dieser Gratis-Report enthüllt die praktischsten Tricks und fertige Befehle, mit denen auch Einsteiger die KI sofort produktiv in ihren Tagesablauf integrieren können. Kostenlosen KI-Ratgeber für Einsteiger herunterladen

Doch der Aufstieg autonomer Loops birgt auch Risiken. Branchenberichte dokumentieren Fälle außer Kontrolle geratener Kosten: Eine nächtliche Claude-Code-Schleife verursachte 6.000 Dollar Gebühren, eine LangChain-Schleife sogar 47.000 Dollar. Auch Sicherheitslücken bleiben problematisch. Am 11. Juli wurde ein Fix für die Gitlab Zero Sandbox veröffentlicht, nachdem bekannt wurde, dass Umgebungsvariablen – darunter AWS-Keys und GitHub-Tokens – ungefiltert an ausgeführten Code weitergegeben wurden.

Neue Open-Source-Tools sollen diese Risiken eindämmen. Die kürzlich veröffentlichte „ai-browser-bridge" erlaubt Agenten die Steuerung von Browser-Sitzungen über das Chrome-Debugging-Protokoll, während der Zugriff auf den lokalen Host beschränkt bleibt. Das Tool „temporal-debug-skill" verkürzt die Debugging-Zeit für historischen Code von 45 Minuten auf 30 Sekunden, indem es git-worktree-Isolationen automatisiert.

Disclaimer zu unseren Artikeln: Keine Anlageberatung, keine Kauf oder Verkaufsempfehlung. Angaben zu Kursen, Unternehmen und Märkten ohne Gewähr; Änderungen jederzeit möglich. Börsengeschäfte können zu hohen Verlusten führen. Unsere Beiträge werden ganz oder teilweise automatisiert mit Unterstützung von AI erstellt und geprüft.

de | wissenschaft | 69751502 |