Nå hevder OpenAI at AI har løst et av matematikkens største uløste problemer
Til info: Bildet ovenfor er laget av AI.
OpenAI mener de kan ha passert en ganske spesiell milepæl. Tirsdag 8. september offentliggjorde selskapet en mulig løsning på Navier–Stokes-problemet – et av matematikkens berømte «Millennium Prize Problems».
Problemet har stått uløst i flere tiår. En godkjent løsning er verdt én million dollar.Det mest oppsiktsvekkende er likevel ikke pengene. OpenAI hevder at selve det matematiske argumentet ble funnet av et internt AI-system.
Et problem om vann, luft – og matematikk som bryter sammen
Navier–Stokes-ligningene brukes til å beskrive hvordan væsker og gasser beveger seg. De ligger bak alt fra modeller av luftstrømmer til simuleringer av vann og vær. Problemet matematikerne har slitt med, er grovt forenklet om ligningene alltid oppfører seg pent, eller om det finnes situasjoner der løsningen utvikler en såkalt singularitet.
OpenAIs resultat peker mot det siste. Selskapet sier at AI-systemet har konstruert et matematisk bevis for at en slik singularitet kan oppstå i endelig tid. OpenAI har også publisert en formalisert versjon av beviset i Lean, et system som brukes til å kontrollere matematiske bevis.
Hvis resultatet står seg etter gjennomgang fra fagmiljøet, er det en historisk matematisk prestasjon. Men det kan også være en langt større AI-nyhet.
Sam Altman: «Superintelligence»
OpenAI-sjef Sam Altman har lenge snakket om AI som noe langt mer enn en chatbot. Ambisjonen er systemer som etter hvert kan bidra til ny forskning og vitenskapelige oppdagelser.
Navier–Stokes-resultatet er kanskje det tydeligste eksempelet hittil på hvordan den utviklingen kan se ut. Ifølge OpenAI ble tusenvis av AI-agenter satt til å arbeide med problemet parallelt. Systemet som fant løsningen er heller ikke offentlig tilgjengelig.
Det er en viktig forskjell fra måten de fleste bruker ChatGPT i dag. Her handler det ikke om å hente frem eller forklare kunnskap mennesker allerede har produsert. Påstanden er at AI-systemet selv har bidratt til å finne ny matematikk.
Ikke avgjort ennå
Det er likevel for tidlig å slå fast at et Millennium-problem offisielt er løst.
Resultatet må nå granskes av matematikere, og rundt offentliggjøringen har det allerede oppstått en konflikt om hvem som skal ha æren for deler av arbeidet. Matematikeren Tristan Buckmaster og Anthropic-forskeren Levent Alpöge jobbet samtidig med nært beslektede problemer.
OpenAI avviser at selskapets løsning bygger på upublisert arbeid fra forskerne. Selskapet sier dessuten at det ikke vil kreve millionpremien. Om beviset holder, kan det viktigste derfor vise seg å være noe helt annet enn Navier–Stokes-problemet i seg selv.
AI har de siste årene blitt stadig bedre til matematikk, programmering og resonnering. Men det er stor forskjell på å score høyt på en test og å bidra til å løse et problem som verdens beste matematikere faktisk ikke kjenner svaret på.
Hvis OpenAIs resultat består fagfellenes gjennomgang, har den grensen akkurat blitt betydelig vanskeligere å trekke.