En matematiker vid Harvard har använt artificiell intelligens för att motbevisa ett mångårigt problem inom algebran som experter i årtionden försökt bevisa vara sant. Levent Alpöge tillkännagav upptäckten på sociala medier den 19 juli med ett kort motexempel.
Alpöge publicerade ett matematiskt motexempel på 216 tecken på X som visar att Jacobian-förmodan är falsk. Förmodan, som föreslogs av Ott-Heinrich Keller 1939, fanns även med på en lista över stora olösta problem som sammanställdes av Stephen Smale 1998.
Arbetet involverade Claude Fable 5, en AI-modell från Anthropic. Alpöge krediterade systemet i sitt inlägg för assistans under VM-finalen.
Abhishek Saha vid Queen Mary University of London kallade resultatet för den största förmodan som hittills behandlats med betydande AI-input. Han noterade att motexemplet fungerar för tre variabler, även om en version med två variabler fortfarande kan vara korrekt.
Chris Bowman-Scargill vid University of York och Ivan Fesenko vid Westlake University menar att utvecklingen belyser AI:s växande roll inom matematiken, samtidigt som de betonar att mänsklig insikt förblir avgörande för att bygga nya teorier.