Lean

DeepMind AI löser nio Erdős-problem i Science-artikel

Google DeepMind, en del av Alphabet, har publicerat en expertgranskad rapport om AlphaProof Nexus, ett AI-system som löst nio öppna problem ställda av matematikern Paul Erdős och bevisat 44 förmodanden från On-Line Encyclopedia of Integer Sequences (OEIS). Artikeln publicerades torsdagen…

OpenAI drar tillbaka tre matteartiklar efter teckenfel

OpenAI har dragit tillbaka tre av de 722 matematikmanuskript som publicerades den 6 oktober, mindre än ett dygn efter att de lagts ut. Företaget upptäckte ett teckenfel som ogiltigförklarade argumentationen i en artikel samt den konstruktion som två andra artiklar…

Forskare flaggar för avvikelse i OpenAIs Navier-Stokes-bevis

Matematiker granskar just nu en stor mängd AI-genererade bevis som OpenAI publicerade den 6 oktober, och en del av vad de funnit hittills väcker tvivel. Ett team lett av forskare från Cambridge hävdar att den mänskligt läsbara versionen och den…

OpenAI publicerar 722 matematiska artiklar från outgiven AI-modell

På tisdagen den 6 oktober publicerade OpenAI 722 matematiska manuskript i ett offentligt GitHub-arkiv, sorterade i 372 så kallade resultatfamiljer. Företaget uppger att en outgiven intern modell har producerat dem. Scientific American rapporterade att arkivet blev tillgängligt kl. 18.00 EDT.…

Anthropic: Claude har skrivit det första datorverifierade beviset för Fermats sista sats

Anthropic meddelade på torsdagen att deras AI-modell Claude har slutfört det första kompletta, datorverifierade beviset för Fermats sista sats, ett av matematikens mest berömda resultat. Genom att arbeta i stort sett autonomt under 11 dagar skrev Claude beviset i programmeringsspråket…