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: ...Det var enkelt att formulera problemet – att ekvationen an+bn=cn saknar lösningar om n är heltal större än 2 – och Pierre de Fermat skrev att han funnit en underbar lösning som inte rymdes i marginalen där han skrivit problemet. ...

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