Lägg till som favorit
Foto: Förhandsbild från källan: Techcrunch.com
Kontrovers kring AI-bevis för ett av matematikens största problem
Tristan Buckmaster, professor vid New York University, har presenterat tre matematiska bevis, inklusive ett preliminärt genombrott gällande Navier-Stokes-ekvationerna. Problemet är ett av de sju så kallade Millennium-prisproblemen, vilket innebär att en lösning medför en prissumma på 1 miljon USD från Clay Mathematics Institute. Forskningen genomfördes i samarbete med Levent Alpöge och med stöd av AI-modellerna Codex och Claude.
Upptäckten har dock överskuggats av en allvarlig konflikt med OpenAI. Buckmaster hävdar att OpenAI försökt ta åt sig äran för beviset efter att ha fått insyn i hans och Alpögés arbete. Enligt Buckmaster ska OpenAI ha använt sina omfattande beräkningsresurser för att snabbt nå ett formellt bevis baserat på deras specifika metodik, en väg som få andra matematiker valt att utforska.
Sebastian Bubeck, som leder den matematiska forskningen på OpenAI, avvisar anklagelserna som falska och inflammatoriska. Diskussionen har även rört huruvida OpenAI kan ha utnyttjat data från Buckmasters interaktioner med Codex-modellen för att träna sina egna system. Buckmaster har valt att gå ut offentligt med händelseförloppet för att säkerställa transparens kring forskningsprocessen och AI:s roll i modern matematik.
