Claude Fable producerade ett motexempel till Jacobi-förmodan
Anthropics AI-modell Claude Fable har till synes genererat ett motexempel till den berömda Jacobi-förmodan, ett av matematikens olösta problem. Nyheten spred sig snabbt på Hacker News och samlade över 268 poäng och 152 kommentarer. Om detta håller för granskning kan det representera en historisk genombrott i algebraisk geometri.
Jacobi-förmodan är ett av matematikens mest envist olösta problem, formulerat ursprungligen 1939. Den säger att om en polynomavbildning från n-dimensionellt komplext rum till sig självt har en Jacobi-determinant som är identiskt lika med ett, så är avbildningen ett bijektivt polynom med polynominvers. Trots decennier av forskning och många felaktiga bevis i båda riktningar har ingen lyckats slutgiltigt avgöra om förmodan är sann eller falsk.
Nu hävdar Anthropics AI-modell Claude Fable att den har hittat ett motexempel som motbevisar förmodan. Påståendet dök upp på plattformen X (tidigare Twitter) och spred sig omedelbart till Hacker News, där det genererade livlig diskussion bland matematiker, AI-forskare och teknikentusiaster. Med 268 poäng och över 152 kommentarer visar engagemanget hur stor uppmärksamhet detta påstående har fångat.
Kommentarerna på Hacker News är blandade. Vissa matematiker uttrycker skepsis och påpekar att Jacobi-förmodan har en historia av felaktiga bevis och motexempel som senare visats vara felaktiga. Andra är mer optimistiska och ser detta som ett tecken på att stora språkmodeller börjar visa verklig matematisk förmåga bortom mönsterigenkänning och textgenerering.
Oavsett om motexemplet håller för matematisk granskning markerar händelsen ett viktigt ögonblick i AI-historien. Det faktum att en AI-modell kan producera matematiska påståenden som är tillräckligt övertygande för att tas på allvar av forskare signalerar en ny era för beräkningsmatematik. Forskarsamhället uppmanas nu att noggrant verifiera resultatet, och svaret kan få långtgående konsekvenser för både matematik och AI-forskning.