Kontroverserna som kantar Open AI:s genombrott i matte

Nyligen gick det amerikanska företaget Open AI ut med att man hade löst ett av de så kallade Millennieproblemen, Navier-Stokes, med hjälp av AI. Millennieproblemen valdes ut år 2000 som särskilt svåra matematiska utmaningar för det nya århundradet, var och

Sammanhang: ...I våras använde samma företag en stor språkmodell för att lösa ett problem formulerat av matematikern Paul Erdős för 80 år sedan. Navier-Stokes anses dock vara av högre kaliber i svårighetsgrad och AI-metoderna skiljer sig åt något. ...

Omnämnda platser: Deepminds Alphaproof, Millennieproblem. Omnämnda personer: Tristan Buckmaster, Luis Martínez-Zoroa, Diego Córdoba.

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.