🔢 OpenAI widerlegt jahrzehntealte Mathematik-Annahme

PLUS: 4 weitere Stories, wöchentliche Shorts & Tipps sowie KI-Ranking

Guten Abend 🌙

Eine Woche ist vergangen, und KI WEEKLY+ hält Dich auf dem neuesten Stand der KI-Welt.

KI-Tools der Woche

  1. 📱 Codex - die agentenbasierte Plattform von OpenAI, jetzt auch mobil verfügbar

  2. 👨‍💻 Devin - Neue Sicherheitsfunktion zur automatenischen Sortierung von Code mit Langzeit-Speicher

  3. 🤖 Gemini Spark - Googles persönlicher Assistent, der rund um die Uhr auf Cloud-VMs läuft

  4. 🧠 Command A+ - Coheres neues Open-Source-Agentenmodell

  5. 🎶 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.