OpenAI-Beweis zu Yang-Mills in Prüfung, NASA-Teleskop Swift am Ende

Drei Wissenschaftsthemen prägten die Woche: ein umstrittener KI-Beweis in der theoretischen Physik, das Ende eines langjährigen NASA-Observatoriums und ein dauerhafter Defekt auf der Internationalen Raumstation.

OpenAI-Beweis wartet auf Prüfung

Die fünf Physiker, die einen 1.147 Seiten langen Beweis eines OpenAI-Modells prüfen sollen, lehnen eine Veröffentlichung ab, solange seine Richtigkeit nicht bestätigt ist. Mathematiker hatten auf eine schnellere Freigabe gedrängt, doch die Prüfer verweisen auf die enorme Komplexität des Dokuments.

Zunächst wollen sie die Formalisierung in Lean kontrollieren, einer Software zur Beweisprüfung, und erst danach ihre Analyse der Fachwelt vorlegen. Selbst wenn der Beweis standhält, würde er nur die Existenz der Yang-Mills-Theorie abdecken. Das Massenlückenproblem, das für das Millennium-Preisgeld nötig ist, bliebe ungelöst.

Swift-Teleskop verstummt

Die NASA hat das Ende des wissenschaftlichen Betriebs von Swift nach 20 Jahren im Orbit verkündet und bereitet das kontrollierte Absenken des Observatoriums vor. Ein privater Rettungsversuch unter Leitung von Katalyst scheiterte, weil der Schlepper Link den Satelliten nicht erreichte.

Derzeit kann kein anderes Teleskop Swifts Jagd auf Gammastrahlenausbrüche vollständig übernehmen. Die Mission SVOM bietet nur eine teilweise Alternative.

ISS-Schleuse gesperrt

Auf der ISS ist die hintere Luftschleuse des Moduls Zvezda endgültig geschlossen worden. Mikrorisse verursachen Luftlecks, die sich nicht abdichten lassen.

Progress-Frachter müssen daher an einem anderen Anschluss entladen werden, bevor sie zu Zvezda verlegt werden, um die Bahn der Station anzuheben. Der Defekt zeigt das Alter der ISS: Zvezda ist seit dem Jahr 2000 im Einsatz.