AI-nyhederOpenAI løser million-dollar-gåde med AI
OpenAI deler et AI-genereret løsningsforslag til et af matematikkens største problemer, bevist ned til mindste detalje.
Det er sket
OpenAI har offentliggjort et bud på løsningen af Navier–Stokes-problemet, et af matematikkens såkaldte milliard-problemer. Mediet har delt både en skriftlig gennemgang og et formelt bevis skrevet i systemet Lean, der sikrer korrektheden. Det er første gang et løsningsforslag kommer med så grundig en computerkontrol.
Hvad det betyder
Navier–Stokes beskriver, hvordan væsker og luft bevæger sig, og en løsning kan have betydning for vejrmodeller og flydesign. Selvom OpenAI ikke har fået præmien på en million dollar endnu, er det et skridt mod at bruge AI i dyb matematisk forskning. Beviset i Lean gør resultatet nemmere at verificere for andre.
- OpenAI deler en AI-løsning på Navier–Stokes-problemet.
- Løsningen inkluderer en skriftlig forklaring og et formelt bevis.
- Beviset er formelt kodet i systemet Lean.
- Navier–Stokes er et af matematikkens store milliard-problemer.
- Der er en præmie på en million dollar forbundet med at løse det.
- Det er usikkert, om løsningen er korrekt og accepteret.
- Lean gør beviset muligt at tjekke automatisk.
Kilder:
OpenAI Blog →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.