🧮 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: ...I minst två fall konstruerade en språkmodell ett helt nytt och giltigt bevis med minimal mänsklig input. Mer än en sökmotor Googles Gemini hittade en anmärkning gömd djupt i en artikel från 1981 som utan att veta om det löste Erdős-problem nummer 1089. ...

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