OpenAI antyder nytt matematisk gjennombrudd

Mindre enn to uker etter at de hevdet å ha løst Navier-Stokes-problemet om eksistens og glatthet, har OpenAI antydet at de kan være nær ved å knekke et nytt av matematikkens syv Millennium-problemer, med spekulasjoner rettet mot Hodge-formodningen. Utspillet kommer samtidig som selskapet møter organisert motstand fra det matematiske miljøet, inkludert et brev signert av 25 Fields-medaljevinnere som advarer om en "alvorlig mangel på samsvar" mellom AI-selskaper og fagfeltet de er i ferd med å endre.

Etterspillet av Navier-Stokes

Den 8. september kunngjorde OpenAI at omtrent 10 000 koordinerte AI-agenter, drevet av en ikke-utgitt intern modell, hadde produsert et 166 siders bevis og en Lean-formalisering som viser at Navier-Stokes-ligningene kan "eksplodere" – og gi uendelige væskehastigheter fra glatte startbetingelser – i løpet av en 88-timers beregning som startet 1. september. Kunngjøringen førte umiddelbart til anklager fra NYU-matematikeren Tristan Buckmaster, som hevdet at OpenAI hadde hastet med å løse problemet etter å ha fått vite at han og Anthropic-forskeren Levent Alpöge gjorde fremskritt ved bruk av en lignende tilnærming. OpenAI avviste påstandene og sa at det var "kategorisk" umulig at Buckmasters arbeid hadde påvirket deres interne modell.nytimes+3

Kontroversen eskalerte raskt. Den 11. september publiserte Terence Tao og 24 andre Fields-medaljevinnere en erklæring med tittelen "A Severe Misalignment of AI in Mathematics", der de argumenterte for at AI-selskaper behandler berømte problemer som målestokker for rå kraft fremfor som verktøy for genuin forståelse. "Ofte blir disse løsningene annonsert i hastverk, uten tid til en skikkelig gjennomgang, isolering av nye metoder og ideer, eller sitering av relevant tidligere arbeid fra andre," sto det i brevet. Nesten 6 000 andre matematikere har siden støttet det.science+2

Separat har over 1 000 matematikere signert et åpent brev som motsetter seg en planlagt "mathathon" ved Caltech, som ville ha koblet forskere med AI-datakraft fra OpenAI og Anthropic, og kalt det bedriftsutnyttelse av forskere tidlig i karrieren. OpenAI trakk seg senere fra arrangementet.science

Et nytt Millennium-problem

Selv mens matematikere arbeider seg gjennom det omfattende Navier-Stokes-beviset, har OpenAI signalisert at de kan være nær en løsning på et nytt Millennium-problem, ifølge rapporter fra The Information og Science. Selskapet har ikke bekreftet hvilket problem de jobber med, men spekulasjonene har samlet seg om Hodge-formodningen, et problem innen algebraisk geometri som er så abstrakt at selv formuleringen krever utdanning på masternivå. Rykter har også pekt på Birch og Swinnerton-Dyer-formodningen som et mulig mål for OpenAI eller Anthropic.theinformation+4

Tidspunktet har vakt skarp kritikk. Javier Gómez-Serrano ved Brown University, som holdt foredrag om Navier-Stokes-beviset ved Harvard 11. september, beskrev dokumentet på 166 sider som "uforståelig" og sa at det matematiske miljøet opplever en "eksistensiell krise". Sergei Gukov ved Caltech sammenlignet øyeblikket med "et jordskjelv".science

Om OpenAIs neste påstand, dersom den materialiserer seg, vil utdype splittelsen med matematikere eller markere et vendepunkt mot samarbeid, forblir et åpent spørsmål. Som Fields-medaljevinnerne skrev: utfordringen matematikk står overfor nå "indikerer problemer som hele menneskeheten kan møte: hvordan sikre at vi, mens AI endrer måten arbeid utføres på, ikke mister av syne hva det arbeidet var ment å oppnå i utgangspunktet".terrytao.wordpress