AI-genombrott kan försämra förståelsen för matematik

Sedan 1934 har matematiker och fysiker frågat sig om flöden i vätskor beskrivs på rätt sätt med hjälp av så kallade Navier–Stokes-ekvationer. När företaget Open AI i veckan publicerade ett bevis för att de inte alltid gör det jublade matematiker världen över,

Sammanhang: ...Lösningen tillkännagavs bara dagar efter det att det konkurrerande AI-företaget Anthropic meddelat att de med AI gjort en logisk formalisering av ett annat klassiskt matematiskt problem, nämligen det bevis på Fermats stora sats som matematikern Andrew Wiles hittade 1995 efter 358 år. ...

Omnämnda platser: Doktoranders, Göteborg, New York. Omnämnda personer: Svante Linusson, Daniel Persson.