OpenAI bildar rådgivande grupp för matematik efter genombrott

OpenAI uppges vara nära att lösa ett andra Millennium-problem, samtidigt som deras första anspråk på en lösning för Navier-Stokes-problemet, som tillkännagavs den 8 september, möter växande kritik från matematiker som menar att företaget utnyttjat ett kryphål i problemformuleringen.

En omstridd seger och en ny front

Företagets Navier-Stokes-bevis, framtaget av 10 000 autonoma AI-agenter under 88 timmar, hyllades som en milstolpe när det presenterades. Men enligt Scientific American löste beviset en variant av problemet som förlitar sig på en konstruerad extern kraft, ett tillvägagångssätt som många experter anser saknar koppling till den fysiska verklighet som ekvationerna är tänkta att beskriva. "Det viktigaste problemet är olöst," sade Luis Silvestre, matematiker vid University of Chicago, till Scientific American. "Clay-problemet är löst, men huvudproblemet för Navier-Stokes-ekvationerna är det inte".scientificamerican+2

Tre matematiker har sedan dess publicerat ett bevis som visar att OpenAIs metod aldrig kan utökas till att lösa hela problemet utan den externa kraften, vilket innebär att metoden har nått en återvändsgränd. Resultatet uppfyller tekniskt sett Clay Mathematics Institutes ursprungliga problemformulering, som inkluderade ett alternativ för externa krafter, men vätskedynamiker står nu inför den obehagliga möjligheten att ekvationerna endast kan explodera under artificiella förhållanden.scientificamerican

Samtidigt rapporterade The Information på måndagen att OpenAI är nära att lösa ytterligare ett av de återstående Millennium-problemen, och OpenAI avslöjade själva den 21 september att deras nya modell "nu har löst mer än 100 långvariga öppna problem inom de flesta områden av matematiken".openai+1

Matematiker tar till orda

Den snabba utvecklingen har skapat oro inom det matematiska samfundet. Den 11 september publicerade 25 Fields-medaljörer en gemensam deklaration med titeln "En allvarlig feljustering av AI inom matematik", där de varnar för att AI-företagens kapplöpning för att lösa kända problem riskerar att undergräva ämnets kultur av öppen forskning och mänsklig förståelse. "Ofta annonseras 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 från andra," stod det i brevet. Det har även framkommit anklagelser om att OpenAI pressat en matematiker att inte kreditera en medarbetare knuten till Anthropic.techcrunch+2

En rådgivande grupp som brobyggare

Som svar tillkännagav OpenAI på måndagen en oberoende rådgivande grupp för matematik och artificiell intelligens, baserad vid Institute for Advanced Study. Gruppens nio medlemmar inkluderar Fields-medaljörerna Timothy Gowers, Martin Hairer och Edward Witten, tillsammans med matematiker från Harvard, Stanford, Oxford och Berkeley. Gruppen ska ge råd om granskning och kommunikation av resultat, upprätthålla akademiska standarder och verka oberoende. Medlemmarna får ingen ersättning från OpenAI och kan offentligt utmana företagets tillvägagångssätt.openai

"Det finns svåra frågor framför oss om hur AI kan stödja matematisk förståelse," skrev OpenAI, och tillade att de vill att "matematiker ska stå i centrum för att forma svaren". Gruppen kommer dock inte att ge råd om hur OpenAI styr tempot i sin interna utveckling, en distinktion som knappast lär lugna de matematiker som ser maskinerna accelerera förbi dem.openai