New Scientist NL · Wetenschap

AI claimt oplossing Navier-Stokes-probleem, discussie ontstaat

OpenAI beweert dat een AI-model het Navier-Stokes-probleem heeft opgelost, een van de moeilijkste wiskundige raadsels. Dit volgde kort op deeloplossingen van andere onderzoekers, wat discussie veroorzaakte over de totstandkoming.

Het Navier-Stokes-probleem, een Millennium Prize Problem, gaat over vloeistofstroming. De vraag is of de 200 jaar oude vergelijkingen altijd logisch blijven of 'blow-ups' kennen.

OpenAI gebruikte 1000 AI-agents voor het Euler-probleem, en 10.000 agents breidden dit uit naar Navier-Stokes. Dit kostte in totaal 61 uur.

De kosten voor een klant zouden 15 miljoen dollar zijn. Het AI-model was krachtiger dan GPT-6 Astra.

De aankondiging volgde op die van Tristan Buckmaster en Levent Alpöge, die deelproblemen oplosten. Zij toonden blow-ups in Euler-vergelijkingen aan.

Buckmaster en Alpöge kregen hulp van LLM's. Hij vroeg OpenAI om opheldering over hun werkwijze, die verdacht veel leek op die van hen.

OpenAI ontkende het werk van Buckmaster en Alpöge te hebben gebruikt. Ze stelden dat hun Euler-bewijs anders was en dat niemand toegang had tot het werk in uitvoering.

AI-bewijzen zijn moeilijk te begrijpen en bieden minder inzicht. De snelle resultaten laten weinig tijd voor discussie en evaluatie, ook voor het prijzengeld.

AI-samenvatting op basis van de bron.