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: ...Problemet i fråga formulerades 1946 av den ungerskfödde matematikern Paul Erdős. Det var ett av hans egna favoritproblem och har inget vedertaget svenskt namn, men heter på engelska The unit distance problem och handlar om hur många lika långa linjer som kan förbinda punkter i ett oändligt plan. ...

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