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: ...De är troligen ofta korrekta, men är inte så intressanta eller tillför särskilt mycket, säger Svante Linusson. Han får medhåll av Daniel Persson, professor i algebra och geometri vid Chalmers tekniska högskola i Göteborg, som just nu håller på att ta fram en ny kurs för doktorander om hur AI kan användas i matematiken. ...

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

Därför revolutionerar det nya AI-beviset matematiken

Ett regelbundet rutnät är en naturlig första gissning i Erdős unit distance problem: Många par av punkter ligger då på samma avstånd från varandra. AI-beviset visar att mer avancerade, talteoretiskt konstruerade punktmönster kan ge fler sådana enhetsavstånd

Sammanhang: ...Daniel Persson, matematikprofessor vid Chalmers, bygger effektivare AI-modeller. Bild: Anna-Lena Lundqvist – Det är ett väldigt spännande genombrott! ...

Omnämnda platser: Storbritannien, USA, Kanada. Omnämnda personer: Chat GPT, Paul Erdős, Pierre de Fermat.