Mathematiker sagen, dass OpenAI seinen eigenen Navier-Stokes-Beweis nicht versteht
decoder ·
Mathematiker haben OpenAIs jüngste Behauptung, das Navier-Stokes-Problem gelöst zu haben, kritisiert und argumentieren, dass der vorgeschlagene Beweis trotz seiner formalen Verifikation in Lean an substanzieller Tiefe vermissen lässt. Experten weisen darauf hin, dass die Herangehensweise zwar oberflächlich der Arbeit spanischer Mathematiker ähnelt, eine detaillierte Analyse jedoch erhebliche methodische Abweichungen aufzeigt. Die Kontroverse wird durch Vorwürfe von Tristan Buckmaster von der NYU weiter verschärft, der behauptete, OpenAI habe unveröffentlichte Vorarbeit genutzt – ein Vorwurf, den das Unternehmen bestreitet. Darüber hinaus veröffentlichte OpenAI etwa 400 zusätzliche Ergebnisse auf GitHub, was in der mathematischen Gemeinschaft für Frustration sorgte, da dies als Trivialisierung rigoroser akademischer Standards wahrgenommen wurde. Ein zentraler Streitpunkt betrifft die Rolle von KI-Agenten: Forscher Noam Brown gab zu, dass unklar sei, wie viel der Schwarm aus 10.000 Instanzen tatsächlich beigetragen hat. Brown schätzt, dass weniger als zehn Prozent des Erfolgs auf das Multi-Agenten-Setup zurückzuführen sind, und attribuiert die meisten Gewinne der Ausdauer und den Parallelverarbeitungsfähigkeiten des Basismodells. Kritiker folgern daraus, dass OpenAI die Mechanismen und den Wert seiner eigenen computergestützten Bemühungen nicht vollständig versteht. Das Clay Mathematics Institute prüft weiterhin die potenzielle Lösung, während die Debatte über die Rolle der KI in der hochrangigen Mathematik an Intensität gewinnt.
decoder