🧮 AI hjälper matematiker lösa problem som varit olösta i årtionden

Dela artikeln Sedan oktober har AI-verktyg hjälpt till att flytta omkring 100 av Paul Erdős matematiska problem till kategorin "lösta". Stora språkmodeller fungerar som kraftfulla forskningsassistenter som kan hitta och kombinera existerande matematiska

Sammanhang: ...Men en online-lösning dök ändå upp till ett problem från Fields-medaljören Martin Hairer, som hade förbisett ett partiellt bevis på sin egen webbplats arkiverat av Wayback Machine. Verifieringen av inlämnade lösningar är resurskrävande. Modellerna producerar svar som låter övertygande i omkring 90 procent av fallen, men Daniel Litt har granskat många av de cirkulerande bevisen och funnit att de till stor del är felaktiga. ...

Omnämnda platser: OpenAI, Google, Sutherland. Omnämnda personer: Googles Gemini, Carlo Pagano, Mark Sellke.