Beobachtetes Signal · 26. Okt. 2026 · Product Launch · Quelle: OpenAI Blog · Relevanz: 3/5 · Sentiment: Positiv
OpenAI und Anthropic widerlegen angeblich Exponential Time Hypothesis
OpenAI veröffentlichte Lösungen zu drei bedeutenden mathematischen Problemen, darunter eine behauptete Widerlegung der Exponential Time Hypothesis (ETH), einer grundlegenden Annahme in der Informatik über die Schwierigkeit von Berechnungen. Anthropic veröffentlichte anschließend eine eigene Widerlegung der ETH. MIT-Professor Ryan Williams organisiert die Reaktion der Informatiker, arbeitet mit OpenAI und anderen Akademikern zusammen, um die Beweise zu verifizieren. Die Ergebnisse stellen lang gehegte Intuitionen zu P-vs-NP-Problemen in Frage und könnten Kryptografie sowie viele Forschungsarbeiten beeinflussen. OpenAI gestaltete die Veröffentlichungen je nach Disziplin unterschiedlich, mit Arbeitsgruppe und geplanter Konferenz. Williams bemerkte, dass Teile des Beweises 'fremdartig' sind und gemeinschaftliche Anstrengungen erfordern. Sicherheitsaspekte wurden geprüft, unmittelbare Brüche wurden nicht erkannt.
Die behauptete Widerlegung einer grundlegenden Hypothese der Informatik durch OpenAI und Anthropic könnte das Verständnis der Rechenkomplexität neu definieren und Kryptografie sowie Forschung im AdTech-Bereich und darüber hinaus beeinflussen. Dies ist ein bedeutender technischer Durchbruch einer großen Plattform, der eine strenge Überprüfung durch die Community auslöst.
Marktsignale zu OpenAI in Echtzeit verfolgen
Polaris7 erfasst behördliche Registrierungen, Primärquellen, Führungswechsel und Deal-Aktivitäten rund um die Uhr. Erstellen Sie Ihren Polaris7-Workspace, um automatisierte Executive Briefings zu erhalten.
Wichtigste Kernpunkte & Evidenz
- OpenAI veröffentlichte Lösungen für drei mathematische Probleme, einschließlich einer Widerlegung der Exponential Time Hypothesis (ETH).
- Anthropic veröffentlichte kurz nach OpenAIs Ankündigung eine eigene Widerlegung der ETH.
- MIT-Professor Ryan Williams organisiert die Reaktion der Informatiker, mit einem offenen Brief für Community-Feedback.
- Die Behauptungen stellen die ETH in Frage, eine Grundlage für viele Arbeiten, und könnten Kryptografie beeinflussen.
- OpenAI plant, eine Konferenz zur Diskussion der Ergebnisse zu finanzieren.
Verknüpfte Unternehmen
3 verknüpfte Unternehmen“OpenAI kündigte neue Entdeckungen in Mathematik, Informatik und Physik an.”
“Anthropic veröffentlichte anschließend eine eigene Widerlegung der ETH.”
“MIT-Professor Ryan Williams organisiert die Reaktion seines Fachgebiets auf die neue Entdeckung.”
Ontologie & Marktkonzepte
Verwandte Marktsignale & Trends
Aktuelle verifizierte Unternehmensentwicklungen und Deal-Aktivitäten in diesem Marktsegment.
OpenAIs Astra liefert zehn Lean-zertifizierte mathematische Beweise
OpenAI hat bekannt gegeben, dass eine interne Version seines Modells Astra zehn neue Resultate in der Mathematik und theoretischen Informatik erzielt hat. Menschen bereiteten Manuskripte vor, die das Modell anschließend in maschinenprüfbare Lean-Zertifikate formalisierte; die Beweise sowie die kommentierte Argumentation des Modells wurden auf GitHub veröffentlicht. Zu den herausragenden Ergebnissen gehören Konstruktionen nicht-sofscher Gruppen, die Widerlegung von Connes Starrheitsvermutung, ein Theorem zur Quanten-Parallel-Wiederholung, eine superexponentielle Schranke für mehrfarbige Ramsey-Zahlen sowie Härteergebnisse für das Problem des kürzesten Vektors in der Gitterkryptographie. OpenAI gab an, dass die Token-Kosten zur Generierung dieser Lösungen zu Sol-API-Preisen bei rund 2.000 US-Dollar liegen würden. Der Artikel betont dabei wichtige Einschränkungen wie menschliche Kuratierung, Fragen zur Originalität und Urheberschaft sowie breitere Implikationen: die formale Verifikation als KI-Ausgabe erster Klasse und demokratisierte Rechenkosten für Forschungsergebnisse auf Spitzenniveau.
OpenAI veröffentlicht neue Mathematik-Ergebnisse, stößt auf Skepsis
OpenAI veröffentlichte eine breite Palette neuer mathematischer Ergebnisse, die von einem internen Frontier-Modell erzeugt wurden, und konsultierte dabei die unabhängige Beratungsgruppe für Mathematik und künstliche Intelligenz am Institute for Advanced Study. Die Ankündigung stieß bei KI-Forschern wie Gary Marcus auf Skepsis, der das Fehlen von Verfahrensdetails, Architekturinformationen, Fehlerraten und Trainingsspezifikationen kritisierte. Marcus betont, dass die wahre Bedeutung ungewiss ist – möglicherweise ein Schritt in Richtung AGI oder nur eine clevere Nutzung von Lean und synthetischen Daten in einem verifizierbaren Bereich. Die wissenschaftliche Gemeinschaft stellt die Generalisierbarkeit der Ergebnisse über die Mathematik hinaus in Frage.
OpenAI-Agenten lösen komplexes mathematisches Problem in 88 Stunden
Anfang September 2026 setzte OpenAI ein Schwarm von AI Agents ein, um die Millennium Prize Problems zu bearbeiten. Innerhalb von 88 Stunden erstellten rund 100 Agenten einen mathematischen Beweis für ein Problem im Zusammenhang mit Navier-Stokes, der anschliessend über Lean verifiziert wurde. Laut OpenAI-Forscher Noam Brown kostete das Experiment Millionen von US-Dollar. Experten prognostizieren, dass solche Rechenkapazitäten und KI-Fähigkeiten innerhalb eines Jahres breiter verfügbar sein werden. Dieses Ereignis verdeutlicht einen grundlegenden Wandel in der wissenschaftlichen Forschung hin zu gezielter Ressourcenallokation und dem Management von AI Agents, was weitreichende Fragen zur Zukunft der Arbeit und zur Konzentration von Marktmacht bei führenden KI-Laboren aufwirft.
Alle künftigen Signale zu OpenAI & Wettbewerbern im Briefing erhalten
Verpassen Sie keine M&A-Transaktionen, Führungswechsel, Kunden-Etats oder Produkt-Launches mehr. Polaris7 überwacht über 20.000 Primärquellen rund um die Uhr und liefert evidenzbasierte Telemetrie direkt in Ihr wöchentliches Executive Briefing.