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: ...Figuren till höger är en förenklad illustration, inte den fulla konstruktionen i beviset. 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. ...

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