# DeepMinds AlphaProof Nexus löser dussintals olösta matteproblem

> AI-systemet bevisade 44 förmodanden, löste nio Erdős-problem och fick arbetet sakkunniggranskat i Science.

Oossa · 2026-10-12 · https://oossa.com/sv/deepmind-s-alphaproof-nexus-solves-dozens-of-open-math-problems

DeepMind meddelade att deras nya AI, AlphaProof Nexus, har tagit fram formella bevis för en rad matematiska frågor som tidigare varit olösta. Resultaten publiceras i en sakkunniggranskad artikel i tidskriften Science. Systemet använder Gemini 3.1 Pro för att skriva bevis i det formella språket Lean och kontrollerar automatiskt varje steg.

## Det här har AlphaProof Nexus åstadkommit

Enligt artikeln löste AlphaProof Nexus nio av de 353 Erdős-problem som fortfarande listas som olösta, däribland två som varit olösta i 56 år. Systemet bevisade också 44 förmodanden från databasen över heltalsföljder OEIS, besvarade en öppen fråga inom algebraisk geometri och skärpte en känd gräns inom min-max-optimering – en metod som används vid träning av vissa AI-modeller.

## Så fungerar systemet

AlphaProof Nexus bygger på Gemini 3.1 Pro, som utformar bevis i Lean och får omedelbar återkoppling från Leans verifierare. När ett utkast inte håller skickar Lean tillbaka ett felmeddelande som vägleder nästa försök. För särskilt svåra delproblem kan systemet använda ett specialiserat verktyg som heter AlphaProof. Teamet delade lösningarna på de nio Erdős-problemen online innan artikeln publicerades.

## Fakta

- AlphaProof Nexus löste nio av 353 olösta Erdős-problem, däribland två som varit olösta i 56 år.
- Systemet bevisade 44 förmodanden från databasen över heltalsföljder OEIS.
- Det löste en öppen fråga inom algebraisk geometri och förbättrade en gräns inom min-max-optimering.
- AlphaProof Nexus bygger på Gemini 3.1 Pro, som skriver och bearbetar bevis i det formella språket Lean.
- Arbetet publicerades i den sakkunniggranskade tidskriften Science.

## Varför det spelar roll

För matematiker erbjuder AI:n ett nytt sätt att utforska svåra problem och automatiskt verifiera bevis, vilket kan påskynda forskningen. För alla som använder AI-verktyg kan förbättringen inom min-max-optimering leda till effektivare träning av framtida modeller. Den sakkunniggranskade publiceringen visar att AI-genererade bevis tas på allvar av forskarvärlden, även om bredare validering fortfarande behövs.

## Källor och referenser

1. [Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed](https://the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed/) – The Decoder, 2026-10-12

Senast uppdaterad: 2026-10-12