AnswersPublished12 sources
AlphaProof Nexus løste ni matematiske problemer. Men hvor langt rækker resultaterne?
Et fortryk fra maj 2026 rapporterer løsninger på 9 af 353 Erdős problemer og beviser for 44 af 492 OEIS formodninger. Det svarer til cirka 2,5 % og 8,9 % af de undersøgte samlinger – ikke til en generel succesrate for alle matematiske spørgsmål.
Udgivet afRedigeret med GPT-6 LunaBilleder genereret med GPT Image 2
Research answer
Key takeaways
- Et fortryk fra maj 2026 rapporterer løsninger på 9 af 353 Erdős problemer og beviser for 44 af 492 OEIS formodninger.
- Det svarer til cirka 2,5 % og 8,9 % af de undersøgte samlinger – ikke til en generel succesrate for alle matematiske spørgsmål.
- Lean kan kontrollere et formelt bevis, men spørgsmålet om problemets formulering, løsningens nyhed og betydning kræver også faglig vurdering.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, wate
Et fortryk på arXiv fra maj 2026 rapporterer, at Google DeepMinds AlphaProof Nexus løste ni ud af 353 åbne Erdős-problemer og beviste 44 ud af 492 formodninger fra Online Encyclopedia of Integer Sequences (OEIS), en online samling af heltalsfølger og tilhørende formodninger. Den oplyste beregningspris var nogle hundrede dollars per løst Erdős-problem. Resultaterne peger på et muligt nyttigt værktøj til at søge efter beviser, men tallene fortæller ikke i sig selv, hvor pålideligt systemet er, eller om alle resultater er nye. 17
Hvad tallene fortæller
Resultaterne svarer til cirka 2,5 % af Erdős-problemerne og 8,9 % af OEIS-formodningerne i de undersøgte samlinger. Det er andele af netop disse datasæt – ikke en succesrate for alle matematiske spørgsmål, systemet kunne møde. Forskerne oplyser desuden, at eksperter kontrollerede, om Lean-formuleringen af hvert løst Erdős-problem svarede loyalt til den oprindelige formodning. 17
Det er vigtige forbehold: Fortrykket beskriver udvalgte løsninger blandt langt flere forsøg, ikke en garanti for, at systemet kan løse åbne problemer efter behov. Og prisen per løst Erdős-problem fortæller ikke alene, hvad de mislykkede forsøg samlet kostede, eller hvor omkostningseffektiv hele søgeprocessen var. 17
Lean kan kontrollere et bevis – men ikke hele den matematiske historie
AlphaProof Nexus beskrives i fortrykket som en ramme for AI-baseret søgning efter formelle beviser. I sådan et arbejdsforløb skrives et bevis i et formelt system som Lean, hvor en beviskontrollør kan kontrollere argumentet i forhold til en præcis, formel påstand. Et godkendt bevis giver stærk sikkerhed for, at argumentet følger af den formelle formulering. 17
Men den formelle kontrol og den matematiske sammenhæng er to forskellige spørgsmål. At Lean accepterer et bevis, afgør ikke i sig selv, om formuleringen præcist svarer til det tilsigtede åbne problem, om nogen allerede har bevist resultatet, eller hvor vigtigt det er. Derfor er det væsentligt, at fortrykket oplyser, at eksperter kontrollerede forbindelsen mellem Lean-formuleringerne og Erdős-formodningerne. 17
Hvad den tilgængelige dokumentation ikke fastslår
En nyhedsartikel fra oktober omtaler to af de rapporterede resultater som problemer, Paul Erdős og András Sárközy stillede i 1970. Det peger på, at resultaterne omfatter langvarigt åbne spørgsmål, men omtalen er sekundær dækning – ikke selve forskningsartiklen. 19
Det tilgængelige kildemateriale omfatter fortrykket fra maj og sekundære omtaler, men ikke den fulde Science-artikel fra oktober eller detaljerede, uafhængige vurderinger af alle påstandene. Materialet fastslår derfor ikke de nærmere oplysninger om modelversionen, resultater inden for algebraisk geometri og min-max-optimering eller konkrete uenigheder om tidligere løsninger, ændret problemformulering, alternative AI-agenter og menneskelig styring af søgninger. De forhold bør ikke betragtes som afklarede uden at gennemgå artiklen, de formelle beviser og relevante fagfolks vurderinger.
Sådan bør resultaterne vurderes
Den solide vurdering må ske problem for problem: Sammenhold den oprindelige formodning med dens formelle version, gennemgå hele beviset, undersøg den tidligere litteratur, og gør det klart, hvilken rolle mennesker har spillet. De rapporterede tal gør AlphaProof Nexus værd at undersøge som et værktøj til bevissøgning. Men de afgør ikke alene, om systemet bedriver matematisk forskning uafhængigt, eller hvor nye og betydningsfulde de enkelte resultater er. 17
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "AlphaProof Nexus løste ni matematiske problemer. Men hvor langt rækker resultaterne?"?
Et fortryk fra maj 2026 rapporterer løsninger på 9 af 353 Erdős problemer og beviser for 44 af 492 OEIS formodninger.
What are the key points to validate first?
Et fortryk fra maj 2026 rapporterer løsninger på 9 af 353 Erdős problemer og beviser for 44 af 492 OEIS formodninger. Det svarer til cirka 2,5 % og 8,9 % af de undersøgte samlinger – ikke til en generel succesrate for alle matematiske spørgsmål.
What should I do next in practice?
Lean kan kontrollere et formelt bevis, men spørgsmålet om problemets formulering, løsningens nyhed og betydning kræver også faglig vurdering.
Sources
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies