Anthropics opublicerade AI-modell tog sig längre på ett 150-år gammalt matematikproblem än väntat
En ej lanserad modell från Anthropic har gjort framsteg på Riemannhypotesen – ett av matematikens mest kända olösta problem som funnits sedan 1859. Anthropic har inte löst det, men resultaten väckte tillräckligt mycket uppmärksamhet för att bli en nyhet i sig. Det intressanta här är egentligen vad det säger om var AI-modeller börjar befinna sig när det gäller avancerat matematiskt resonemang.
Djupdykning
Riemann-hypotesen handlar kort sagt om hur primtal är fördelade längs tallinjen — ett problem som matematiker sedan 1859 försökt knäcka utan att lyckas, och som är så centralt att ett korrekt bevis skulle påverka allt från kryptografi till hur vi förstår talteorins grundvalar. Att ett AI-system nu ska ha gjort "mer framsteg än väntat" är anmärkningsvärt, men det är värt att hålla huvudet kallt: det finns en stor skillnad mellan att hitta intressanta mönster eller partiella resultat och att faktiskt bevisa något i matematisk mening. Det de flesta missar i den här typen av nyheter är att matematik inte fungerar som andra domäner där AI dominerat — du kan inte "nästan" bevisa Riemann på samma sätt som du kan "nästan" vinna ett schackparti, för antingen håller beviset eller så gör det inte det. Anthropic verkar medvetet ha valt att läcka det här försiktigt, utan att hävda ett genombrott, vilket faktiskt är mer oroväckande än en stor fanfar — det antyder att de själva inte riktigt vet vad de har i händerna.