OpenAI antyder nytt matematiskt genombrott

Mindre än två veckor efter att ha hävdat att de löst Navier-Stokes-problemet om existens och glatthet, har OpenAI antytt att de kan vara nära att knäcka ett andra av matematikens sju Millennium-problem, med spekulationer som kretsar kring Hodge-förmodan. Utspelt kommer samtidigt som företaget möter en organiserad motreaktion från det matematiska samfundet, inklusive ett brev undertecknat av 25 Fields-medaljörer som varnar för en "allvarlig brist på samstämmighet" mellan AI-företag och den disciplin de håller på att förändra.

Efterspelet av Navier-Stokes

Den 8 september meddelade OpenAI att cirka 10 000 koordinerade AI-agenter, drivna av en outgiven intern modell, hade producerat ett 166-sidigt bevis och en Lean-formalisering som visar att Navier-Stokes-ekvationerna kan "explodera" – och ge oändliga vätskehastigheter från glatta startvillkor – under en 88-timmars beräkning som inleddes den 1 september. Tillkännagivandet väckte omedelbart anklagelser från NYU-matematikern Tristan Buckmaster, som hävdade att OpenAI hade skyndat sig att ta sig an problemet efter att ha fått veta att han och Anthropic-forskaren Levent Alpöge gjorde framsteg med en liknande metod. OpenAI förnekade påståendena och sa att det var "kategoriskt" omöjligt att Buckmasters arbete hade påverkat deras interna modell.nytimes+3

Kontroversen eskalerade snabbt. Den 11 september publicerade Terence Tao och 24 andra Fields-medaljörer en deklaration med titeln "A Severe Misalignment of AI in Mathematics", där de argumenterade för att AI-företag behandlar kända problem som måttstockar för råstyrka snarare än som verktyg för genuin förståelse. "Ofta tillkännages dessa lösningar i hast, utan tid för en ordentlig genomgång, isolering av nya metoder och idéer, eller citering av relevant tidigare arbete av andra", stod det i brevet. Nästan 6 000 andra matematiker har sedan dess ställt sig bakom det.science+2

Separat har över 1 000 matematiker undertecknat ett öppet brev som motsätter sig en planerad "mathathon" vid Caltech som skulle ha parat ihop forskare med AI-beräkningskraft från OpenAI och Anthropic, och kallat det för företagsutnyttjande av forskare i början av karriären. OpenAI drog sig därefter ur evenemanget.science

Ett andra Millennium-problem

Även medan matematiker arbetar sig igenom det omfattande Navier-Stokes-beviset, har OpenAI signalerat att de kan vara nära en lösning på ett andra Millennium-problem, enligt rapporter från The Information och Science. Företaget har inte bekräftat vilket problem de fokuserar på, men spekulationerna har samlats kring Hodge-förmodan, ett problem inom algebraisk geometri som är så abstrakt att även dess formulering kräver utbildning på masternivå. Rykten har också pekat på Birch och Swinnerton-Dyer-förmodan som ett möjligt mål för OpenAI eller Anthropic.theinformation+4

Tidpunkten har väckt skarp kritik. Javier Gómez-Serrano vid Brown University, som föreläste om Navier-Stokes-beviset vid Harvard den 11 september, beskrev dokumentet på 166 sidor som "obegripligt" och sa att det matematiska samfundet upplever en "existentiell kris". Sergei Gukov vid Caltech jämförde ögonblicket med "en jordbävning".science

Huruvida OpenAIs nästa påstående, om det materialiseras, kommer att fördjupa klyftan med matematiker eller markera en vändpunkt mot samarbete förblir en öppen fråga. Som Fields-medaljörerna skrev: utmaningen som matematiken står inför nu "indikerar problem som hela mänskligheten kan möta: hur man säkerställer att vi, när AI förändrar hur arbete utförs, inte tappar sikte på vad det arbetet var menat att uppnå från början".terrytao.wordpress