Resultat 1 - 2 av 2
AI-genombrott kan försämra förståelsen för matematik
Sedan 1934 har matematiker och fysiker frågat sig om flöden i vätskor beskrivs på rätt sätt med hjälp av så kallade Navier–Stokes-ekvationer. När företaget Open AI i veckan publicerade ett bevis för att de inte alltid gör det jublade matematiker världen över,Sammanhang: ...Lösningen tillkännagavs bara dagar efter det att det konkurrerande AI-företaget Anthropic meddelat att de med AI gjort en logisk formalisering av ett annat klassiskt matematiskt problem, nämligen det bevis på Fermats stora sats som matematikern Andrew Wiles hittade 1995 efter 358 år. Men de spektakulära AI-lösningarna sänder samtidigt chockvågor genom matematikvärlden. ...
Omnämnda platser: Doktoranders, Göteborg, New York. Omnämnda personer: Svante Linusson, Daniel Persson.
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åndSammanhang: ...Men Wiles lösning krävde moderna matematiska metoder som inte fanns på Fermats tid. AI-version som inte är öppen för allmänheten Lösningen till Erdősproblemet gjordes med en AI-version som inte är öppen för allmänheten, men ändå inte är specifikt utformad för just matematik. ...
Omnämnda platser: Storbritannien, USA, Kanada. Omnämnda personer: Chat GPT, Paul Erdős, Pierre de Fermat.