OpenAI meldet Loesung des Navier-Stokes-Millennium-Problems: 10.000 KI-Agenten finden in 88 Stunden Gegenbeispiel, an dem Mathematiker zwei Jahrhunderte tftelten
OpenAI hat bekannt gegeben, dass sein KI-System in 88 Stunden Arbeit durch 10.000 Agenten ein Gegenbeispiel zu den Navier-Stokes-Gleichungen – einem der "Millennium-Probleme" – gefunden hat. Die Rechenkosten betrugen rund 1 Mio. Dollar, die Lösung wurde in Lean formalisiert.
Weiterlesen →