🔢 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: