🧮 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: ...Elva toppmatematiker har utmanat AI med opublicerade bevis i tävlingen First Proof, och resultaten granskas nu. Hundra problem lösta sedan oktober Den legendariske matematikern Paul Erdős lämnade efter sig 1 179 olösta matematiska gissningar. Sedan oktober förra året har AI-verktyg hjälpt till att föra över omkring 100 av dem till kategorin "lösta", enligt en sammanställning av matematikern Terence Tao. ...

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