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: ...Bild: Daniel Persson, framtagen med hjälp av OpenAI Codex Lösningen av ett 80-årigt matteproblem med hjälp av AI är en vattendelare för matematiken, enligt matematiker världen över som både chockas och fascineras av lösningens komplexitet. Daniel Persson, matematikprofessor vid Chalmers, bygger effektivare AI-modeller. ...

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