Im September hatte OpenAI ein scheinbares Lösungsvorschlag für eines der sieben Millenniumspreisprobleme in der Mathematik: Navier-Stokes, eine langjährige Frage zu Gleichungen, die das Verhalten von Flüssigkeiten beschreiben. Während das Unternehmen später hunderte Ergebnisse veröffentlicht hatte, wurden keine neuen Millennium-Beweise eingeschlossen, obwohl einige Befunde Fortschritte bei den fünf verbleibenden offenen Fragen zeigten.
Was sind diese spezialisierten Fragen? Sie sind schwierig, selbst für die meisten Mathematiker. Eines davon ist die Riemann-Vermutung, die in einem Paper aus dem Jahr 1859 vom deutschen Mathematiker Bernhard Riemann formuliert wurde. Sie bezieht sich auf Primzahlen und deren Verteilung entlang der Zahlenlinie. Je größer die Zahlen werden, desto seltener werden die Primzahlen. Riemann stellte eine Vermutung vor, die ein präzises Formel zur Schätzung bietet, wie viele Primzahlen unter einer beliebigen Zahl liegen. Er starb im Jahr 39, bevor er auf das Problem zurückkam. Peter Sarnak, Mathematiker an der Princeton University und dem Institute for Advanced Study, nannte sie ein "großes Problem" und sagte, dass ein Beweis "mathematisch monumental" wäre.
Ein verwandtes Ergebnis der Quasi-Riemann-Vermutung wurde von Lean, einem Computer-Beweisassistenten, überprüft und als wahrscheinlich korrekt betrachtet. Allerdings reicht es nicht aus, um das ursprüngliche Millennium-Problem zu lösen. Alex Kontorovich, Vorsitzender des Mathematikdepartements an der Rutgers Universität, beschrieb es als "fundierte Durchbruch", stellte aber fest, dass neue Ideen benötigt würden, um die vollständige Vermutung zu beweisen.
Andere verbleibende Probleme umfassen die Birch-and-Swinnerton-Dyer-Vermutung, die in den frühen 1960er Jahren von den britischen Mathematikern Bryan John Birch und Sir Peter Swinnerton-Dyer mit einem frühen Computer, dem EDSAC-2, formuliert wurde.
Quelle: New York Times Top Stories · Zusammengefasst von HeadlinesBriefing