OpenAI hat eine von künstlicher Intelligenz erarbeitete Lösung des Millennium-Problems zu den Navier-Stokes-Gleichungen bekannt gegeben. Laut dem Unternehmen umfasst die Veröffentlichung eine textliche Darstellung sowie einen formalen Beweis in der Sprache Lean.
Die Bedeutung dieser Ankündigung hängt davon ab, ob der vorgeschlagene Beweis einer unabhängigen Überprüfung standhält. In den bereitgestellten Materialien fehlen sowohl der vollständige Text der Lösung als auch Ergebnisse externer Begutachtungen oder Angaben zur Anerkennung des Beweises durch die mathematische Gemeinschaft.
redaktioneller Kommentar
Warum es wichtig ist
Sollte sich der Beweis als korrekt und reproduzierbar erweisen, würde dies ein bemerkenswertes Ereignis für die Mathematik und die formale Verifizierung darstellen. Das nächste zu beobachtende Signal wäre die Veröffentlichung des vollständigen Textes sowie unabhängiger Überprüfungen. Die Hauptunsicherheit bleibt das Fehlen des eigentlichen Beweises im verfügbaren Paket sowie die fehlende Bestätigung durch externe Experten.