Das wahre Gesicht der KI, die 30 Genies in 10 Minuten zum Schweigen brachte: Die vollständige Geschichte der schockierenden Konferenz in Kalifornien

1. Einführung

Am 17. und 18. Mai 2025 fand auf dem Campus der University of California, Berkeley, das geheime Mathematik-Symposium "FrontierMath Symposium" statt. Eingeladen waren 30 führende Forscher in den Bereichen Zahlentheorie, Geometrie und Topologie. Ihnen gegenüber stand nicht ein Mensch, sondern das neueste "Reasoning"-Modell von OpenAI, o4-mini. Nur 48 Stunden später waren sich viele Teilnehmer einig: "Die KI dringt in die Domäne der mathematischen Genies vor." Live Science

2. Was ist o4-mini?

o4-mini ist ein im April veröffentlichtes LLM, das darauf abzielt, das "tiefe Schlussfolgern", das für die GPT-4-Reihe bisher schwierig war, in einem leichten Modell zu realisieren. OpenAI hat in Zusammenarbeit mit der NPO Epoch AI einen Benchmark FrontierMath entwickelt, um die Leistung anhand von 300 unveröffentlichten Fragen zu messen. Das Ergebnis: Während frühere Modelle weniger als 2 % der schwierigen Fragen richtig beantworteten, löste o4-mini **20 %** davon. Scientific American

3. Hinter den Kulissen der geheimen Konferenz

• NDA und Signal
  Alle teilnehmenden Mathematiker unterzeichneten eine NDA. Um sicherzustellen, dass die Probleme nicht in die Trainingsdaten einfließen, erfolgte die Kommunikation ausschließlich über den verschlüsselten Chat Signal. Live Science

• Preisgeld von 7.500 Dollar
  Ein Anreizsystem, bei dem derjenige, der ein "unlösbares Problem für die KI" erstellt, eine Belohnung erhält. Scientific American

• Erstaunliche 10-Minuten-Lösung
  Der Zahlentheorie-Experte Professor Ken Ono stellte ein "ungelöstes Problem auf Doktoratsniveau", das o4-mini in 10 Minuten vollständig löste. Ono bemerkte mit einem Lächeln, dass es "Beweis durch Einschüchterung" meisterte. Live ScienceScientific American

4. Mensch gegen KI: Das Ergebnis

In den zwei Tagen des intensiven Wettbewerbs konnten die Menschen die KI nur bei 10 Problemen vollständig zum Schweigen bringen. Einer der Mathematiker, Yang-Hui He, bewertete es als "nicht nur auf dem Niveau eines hervorragenden Doktoranden, sondern eines Ko-Forschers". Scientific American

5. Kontroverse Reaktionen in den sozialen Medien

Während Befürworter die „enorme Steigerung der Forschungseffizienz durch KI“ begrüßen, befürchten Skeptiker einen „enormen Anstieg der Überprüfungskosten“, falls die Logik trotz korrekter Berechnungsergebnisse fehlerhaft ist.

6. Wie verändert sich die mathematische Forschung?

1. Rollenverteilung ― Mathematiker konzentrieren sich auf Problemstellung und ästhetische Bewertung von Ideen, während KI für Berechnungen und Beweisgenerierung zuständig ist.

2. Neugestaltung des Bildungscurriculums ― Aufgaben, die Kreativität und Intuition fördern, werden betont, während routinemäßige Berechnungen der KI überlassen werden.

3. Vertrauensproblem bei Beweisen ― Die Bedeutung von Systemen, die es Menschen ermöglichen, „von KI geschriebene Beweise“ zu überprüfen (maschinenlesbare Formate oder formalisierte Beweise), steigt rapide.

7. Verbleibende Herausforderungen

• Von Induktion zu Kreativität: o4-mini ist gut darin, bestehende Literatur „neu zu strukturieren“, aber ob es wirklich neue Theoreme erzeugen kann, bleibt ungetestet.

• Black-Box-Charakter: Es wird darauf hingewiesen, dass die Schlussfolgerungskette möglicherweise nachträglich inszeniert ist (das Phänomen des „erst die Antwort erraten und dann die Erklärung schreiben“). Reddit

• Fairness der Bewertung: Es gibt viele Stimmen, die die finanzielle Beziehung zwischen Epoch AI und OpenAI in Frage stellen.

8. Zukunftsszenarien

9. Schlussfolgerung

Es war ein Wochenende, an dem die konventionelle Meinung, dass „es keine allgemeine KI geben wird“, von den Mathematikern an der Frontlinie widerlegt wurde. Beginnt das Zusammenspiel zwischen der menschlichen Fähigkeit, „Fragen zu stellen“, und der KI-Fähigkeit, „Lösungen zu entwickeln“? Oder naht der Tag, an dem die letzte Bastion der Kreativität aufgegeben wird? Die Jubelrufe und Schreie hinter verschlossenen Türen in Berkeley könnten ein Alarm für das intellektuelle Ökosystem der nahen Zukunft gewesen sein.