🔢 OpenAI widerlegt jahrzehntealte Mathematik-Annahme
PLUS: 4 weitere Stories, wöchentliche Shorts & Tipps sowie KI-Ranking
Team von KI WEEKLY & Jannik Schaefer
22. Mai
Guten Abend 🌙
Eine Woche ist vergangen, und KI WEEKLY+ hält Dich auf dem neuesten Stand der KI-Welt.
KI-Tools der Woche
📱 Codex - die agentenbasierte Plattform von OpenAI, jetzt auch mobil verfügbar
👨💻 Devin - Neue Sicherheitsfunktion zur automatenischen Sortierung von Code mit Langzeit-Speicher
🤖 Gemini Spark - Googles persönlicher Assistent, der rund um die Uhr auf Cloud-VMs läuft
🧠 Command A+ - Coheres neues Open-Source-Agentenmodell
🎶 ElevenMusic - Plattform für KI-basierte Songerstellung
01
OpenAI widerlegt jahrzehntealte Mathematik-Annahme
OpenAI hat bekanntgegeben, dass ein internes KI-Modell eine langjährige Annahme um das berühmte Unit-Distance-Problem des Mathematikers Paul Erdős widerlegt hat. Sollte sich der Durchbruch bestätigen, wäre es einer der ersten Fälle, in denen ein KI-System eigenständig zu neuer mathematischer Erkenntnis beigetragen hat.
Die Details:
Das sogenannte Unit-Distance-Problem von Erdős aus dem Jahr 1946 untersucht, wie viele gleich lange Verbindungen sich zwischen Punkten ziehen lassen. Über Jahrzehnte dominierte dabei eine gitterbasierte Theorie die mathematische Forschung.
Der neue Beweis basiert auf Methoden aus der algebraischen Zahlentheorie und damit auf einem völlig anderen Teilgebiet der Mathematik als bisherige Ansätze.
Führende Mathematiker wie Tim Gowers, Noga Alon und Thomas Bloom haben die Arbeit laut OpenAI bereits überprüft und bestätigt.
Die Lösung stammt nicht von einem spezialisierten Mathematiksystem wie DeepMinds AlphaProof, sondern von einem allgemeinen Reasoning-Modell, das OpenAI demnächst veröffentlichen will.
OpenAI hatte 2025 bereits behauptet, GPT-5 habe zehn Erdős-Probleme gelöst. Später stellte sich heraus, dass das Modell lediglich existierende Forschungsliteratur gefunden hatte und keine eigenen Entdeckungen machte.
Warum das wichtig ist: In der KI-Forschung gilt Mathematik seit Jahren als Frühindikator dafür, wie weit Systeme tatsächlich eigenständig denken können. Sollte ein allgemeines Modell tatsächlich eigenständig eine neue mathematische Lösung entwickelt haben, wäre dies ein deutlicher Schritt über die reine Beschleunigung bestehender Arbeit hinaus. Bemerkenswert ist dabei, dass die Lösung offenbar nicht aus einem spezialisierten Mathematiksystem, sondern aus einem breiter einsetzbaren Modell kam.
02
Musk scheitert mit Milliardenklage gegen OpenAI
Elon Musks milliardenschwere Klage gegen OpenAI, Sam Altman, Greg Brockman und Microsoft ist nach einem dreiwöchigen Verfahren abgewiesen worden. Die Jury kam einstimmig zu dem Schluss, dass Musk zu lange mit der Klage gewartet habe und die Ansprüche rechtlich verjährt seien.
Die Details:
Musk hatte OpenAI vorgeworfen, die ursprüngliche Non-Profit-Mission verraten und das Unternehmen faktisch in einen gewinnorientierten Konzern umgebaut zu haben. Laut Klage hätten Altman und Brockman damit eine „Wohltätigkeitsorganisation gestohlen“.
Die Jury folgte dieser Argumentation jedoch nicht, weil Musk laut Gerichtsunterlagen seit Jahren über die strategische Entwicklung von OpenAI informiert gewesen sei.
OpenAIs Anwälte argumentierten zudem, dass Musk selbst einst ein gewinnorientiertes Modell unterstützt und stärkere Kontrolle über das Unternehmen gefordert habe.
Besonders kritisch sah OpenAI den Zeitpunkt der Klage. Musk reichte sie erst 2023 ein, nachdem er mit xAI seinen eigenen KI-Konkurrenten gegründet hatte.
Auch die Vorwürfe gegen Microsoft wurden abgewiesen. Musk hatte dem Konzern vorgeworfen, OpenAI durch milliardenschwere Investitionen beim Umbau zum kommerziellen KI-Unternehmen unterstützt zu haben.
Musk reagierte auf X mit scharfer Kritik. Das Urteil betreffe „nicht die Sache selbst, sondern nur eine technische Fristfrage“. Er kündigte bereits Berufung an.
Warum das wichtig ist: Der Streit drehte sich neben der Kontrolle auch um die Grundsatzfrage, wie weit sich eine gemeinnützige KI-Organisation in Richtung kommerzielles Unternehmen bewegen darf. Musk wollte genau diesen Umbau juristisch angreifen, doch das Verfahren scheiterte zunächst an der Fristfrage. Für OpenAI ist das ein klarer Sieg, inhaltlich bleibt die spannendere Debatte aber offen. Denn je teurer KI-Entwicklung wird, desto größer wird der Druck auf Organisationen, ihre ursprüngliche Mission mit Kapitalinteressen zu vereinbaren.
03
Google macht Gemini zum Betriebssystem für KI-Agenten
Bildquelle: Google
Google hat auf seiner Entwicklerkonferenz I/O eine ganze Reihe neuer Gemini-Produkte vorgestellt. Im Mittelpunkt standen neue multimodale Modelle, persönliche KI-Agenten und ein umfassender Umbau der Google-Suche.
Die Details:
Das neue Modell Gemini Omni kann Texte, Bilder, Audio oder Videos als Eingabe verarbeiten und daraus direkt Videos generieren. Google beschreibt das Modell intern als eine Art „Nano Banana für Video“.
Die neue Gemini-3.5-Modellfamilie startet mit Gemini 3.5 Flash. Laut Google erreicht das Modell in vielen Benchmarks ein Niveau nahe Claude Opus 4.7 oder GPT-5.5, arbeitet dabei aber deutlich schneller und günstiger.
Mit Gemini Spark präsentierte Google einen permanent laufenden KI-Agenten, der auf virtuellen Maschinen in der Google Cloud arbeitet und Aufgaben über Workspace, Chrome, E-Mail und Chats hinweg erledigen kann.
Die Google-Suche erhält laut Unternehmen ihr größtes Redesign seit Jahren. Neu sind multimodale Eingaben, dauerhaft aktive Informationsagenten und generative Benutzeroberflächen, die Inhalte dynamisch anordnen und generieren.
Zusätzlich zeigte Google unter anderem „Gemini for Science“, neue KI-Funktionen für smarte Brillen, Street-View-Simulationen sowie weitere Erweiterungen rund um SynthID zur Kennzeichnung KI-generierter Inhalte.
Warum das wichtig ist: Der spannendste Punkt an Googles Strategie ist weniger ein einzelnes Modell, sondern die Tiefe der Integration. Gemini entwickelt sich zunehmend zu einer Art KI-Schicht über dem gesamten Google-Ökosystem, von der Suche bis zu Chrome und Gmail. Genau darin liegt Googles Vorteil: Milliarden Menschen nutzen diese Produkte bereits täglich.
04
KI-Modelle regieren virtuelle Städte mit unterschiedlichen Ergebnissen
Bildquelle: Emergence AI
Das KI-Startup Emergence AI hat fünf identische virtuelle Städte simuliert, in denen ausschließlich die eingesetzten Sprachmodelle variierten. Ziel des Experiments war es zu beobachten, wie autonome KI-Agenten ohne menschliche Steuerung miteinander leben, Entscheidungen treffen und gesellschaftliche Regeln entwickeln.
