RT von Dan Roberts: Wir kündigen drei neue Entdeckungen in Mathematik, Informatik und Physik an – zu harmonischer Analysis, Komplexitätstheorie und …

OpenAI zufolge haben seine internen Modelle drei Ergebnisse erzielt: einen Beweis der Local-Smoothing-Vermutung in allen Dimensionen, der auch die Kakeya- und die Stein-Restriktionsvermutung löst; eine in Lean verifizierte Widerlegung der Exponential-Time-Hypothese; und einen rigorosen Existenzbeweis für die Yang-Mills-Theorie und die Quantenchromodynamik. Die Ergebnisse wurden in Lean formalisiert und externen Expertengruppen übergeben, darunter einer Physikgruppe unter Nobelpreisträger David Gross, zur Prüfung und Erläuterung. Sollten sie Bestand haben, würden sie jahrzehntealte offene Probleme lösen, darunter einen Teil eines Millennium-Preis-Problems, und markieren, dass KI von der Assistenz zur Erzeugung von Spitzenmathematik und -physik übergeht.

• OpenAI2026-10-26 21:36