Quanta Magazine · Wetenschap

AI lost $1 miljoen Navier-Stokes-probleem op

De AI-agenten van OpenAI hebben naar verluidt een Millennium Prize Problem opgelost door een singulariteit te vinden in de Navier-Stokes-vergelijkingen. Het resultaat, geverifieerd in Lean, beantwoordt een langdurige vraag in de vloeistofdynamica.

De doorbraak, bereikt door 10,000 AI-agenten, is een belangrijke AI-bijdrage aan de wiskunde. De Navier-Stokes-vergelijkingen beschrijven vloeistofgedrag, maar hebben wiskundigen decennia lang beziggehouden met betrekking tot het gedrag van oplossingen.

Dit probleem, een van de zeven Millennium Prize Problems, biedt $1 miljoen voor de oplossing ervan. Het betreft de vraag of vloeistofoplossingen in de loop van de tijd oneindige snelheden kunnen ontwikkelen, waardoor een singulariteit ontstaat.

Twee teams, OpenAI en een samenwerking waaronder Tristan Buckmaster, kondigden oplossingen aan. Beide maakten gebruik van een nieuwe strategie van de wiskundigen Diego Córdoba en Luis Martínez-Zoroa.

Hoewel de wiskundige bevindingen over geïdealiseerde vloeistoffen beperkingen hebben vanwege de moleculaire realiteit, onthullen ze contra-intuïtieve aspecten van turbulentie.

Eerder werk had singulariteiten in gerelateerde vergelijkingen aangetoond. De uitdaging was om dit te bewijzen voor Navier-Stokes zonder grenzen en met gladde aandrijffuncties.

De AI-teams lijken deze laatste hindernis te hebben overwonnen, voortbouwend op de analytische technieken van Córdoba en Martínez-Zoroa. De exacte tijdlijn en samenwerkingsdetails worden nog verduidelijkt.

De door AI gegenereerde bewijzen werden formeel geverifieerd, wat een nieuw tijdperk inluidt in AI-ondersteunde wiskundige ontdekkingen.

AI-samenvatting op basis van de bron.