Ein Streit über eines der berühmtesten ungelösten Probleme der Mathematik entbrannte am Dienstag, nachdem der NYU-Mathematiker Tristan Buckmaster OpenAI beschuldigte, sich voreilig Lorbeeren für Arbeiten angeeignet zu haben, die auf seiner eigenen Forschung basieren. Zudem soll das Unternehmen ihn unter…
Buckmaster und der Anthropic-Mitarbeiter Levent Alpöge veröffentlichten KI-gestützte Beweise, die zeigen, dass Strömungsgleichungen im Zusammenhang mit Navier-Stokes Singularitäten entwickeln können, ein wichtiger Schritt für den Millennium-Preis.newscientist+1
Buckmaster behauptet, OpenAI habe von ihren Methoden erfahren, schnell einen eigenen Beweis erstellt und ihn dann unter Druck gesetzt, Alpöge aufgrund seiner Verbindungen zu Anthropic von der Autorenschaft auszuschließen.scientificamerican+1
Sébastien Bubeck von OpenAI bezeichnete die Vorwürfe als "falsch und hetzerisch"; der von dem Unternehmen beanspruchte vollständige Navier-Stokes-Beweis wurde bisher nicht öffentlich verifiziert.scientificamerican