Physiker um David Gross bestätigen OpenAIs KI-generierten Beweis, dass die Quanten-Yang-Mills-Theorie existiert
Das fünfköpfige Komitee veröffentlichte den Lean-Code und ein Gutachten, wonach er die Existenz reiner Yang-Mills-Theorie nach Standard-Problemstellungen beweist; die Massenlücke bleibt ungelöst.
Warum es wichtig ist
Yang-Mills ist eines von fünf ungelösten Millennium-Problemen des Clay-Instituts, jeweils mit einer Million Dollar dotiert, und hat zwei Teile: die Existenz der Theorie und eine Massenlücke zu beweisen. OpenAI beanspruchte Ende Oktober den Existenzteil, übergab den Beweis aber einem Hüter-Komitee, statt ihn sofort zu veröffentlichen. Das Komitee nutzte nach eigenen Angaben OpenAIs Modell Astra, um den Lean-Code zu erschließen, und versteht den Beweis noch nicht vollständig. Mathematiker wie Scott Armstrong von der NYU kritisierten diese Kontrolle. Zu beobachten: unabhängige Prüfungen des Lean-Codes und jeder Vorstoß zur Massenlücke.
Die wichtigsten Fakten
- Komitee: David Gross und vier Kollegen
- Lean-Code und Gutachten in der Nacht zum 11. Nov. veröffentlicht
- Beweist Existenz reiner Yang-Mills-Theorie nach Standard-Problemstellungen
- Massenlücke bleibt ungelöst
- Komitee: „Wir behaupten nicht, den Beweis schon vollständig zu verstehen“
- Yang-Mills ist eines von fünf ungelösten Millennium-Problemen (je 1 Mio. $)