Computergestützte Beweisführung

LONDON / LONDON (IT BOLTWISE) – OpenAI behauptet, das 90 Jahre alte Navier-Stokes-Problem in 88 Stunden gelöst zu haben. Dafür habe das Unternehmen ein neues KI-Modell mit 10.000 gleichzeitig arbeitenden Agents eingesetzt, die Werkzeuge wie Code-Ausführung und Web-Zugriff über einen Cache nutzen konnten. Die Agenten seien in Gruppen organisiert gewesen, die intern kommunizieren konnten. Mathematische […]