Harvard-matematiker och AI-modell kan ha löst 87 år gammalt matematiskt problem

Levent Alpöge, en forskare vid Harvard University, har rapporterat att han tillsammans med Anthropic's AI-modell Fable har funnit ett motexempel till den 87 år gamla Jacobian-förmodan. Upptäckten rapporterades initialt via sociala medier och har väckt stort intresse bland både matematiker och AI-forskare.

Den ursprungliga förmodan, formulerad av matematikern Eduard Ott-Heinrich Keller 1939, handlar om huruvida en viss typ av polynomtransformation är inverterbar. Alpöge, en 33-årig matematiker, använde sig av Fable-modellen för att söka efter ett motexempel, vilket är tillräckligt för att bevisa att förmodan är falsk. Hans framlagda motexempel är endast 216 tecken långt.

Även om arbetet ännu inte genomgått formell peer-review, har flera matematiker enligt uppgift bekräftat beräkningarna genom oberoende kontroller. Vissa har även använt andra AI-system, som OpenAI:s GPT-modeller, för att faktagranska resultatet.

Detta resultat har lett till en diskussion inom matematikervärlden om AI:s roll. System som snabbt kan generera motexempel kan accelerera upptäckter och skifta fokus mot att förklara varför ett resultat är sant och vad det innebär. AI-modeller används alltmer som kollaboratörer i forskningsprocessen, snarare än enbart som beräkningsverktyg.

Alpöges upptäckt, om den verifieras fullständigt, kan ge starkt stöd åt påståenden om att avancerade AI-modeller signifikant kan accelerera matematisk och vetenskaplig forskning. Den kan också utmana kritiker som menar att probabilistiska modeller inte kan vara användbara inom precisa fält som matematik.