# DeepMinds AlphaProof Nexus lost tientallen open wiskundige problemen op

> Het AI-systeem bewees 44 vermoedens, loste negen Erdős-problemen op en publiceerde zijn werk in een peer-reviewed artikel in Science.

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

DeepMind maakte bekend dat zijn nieuwe AI, AlphaProof Nexus, formele bewijzen heeft geleverd voor uiteenlopende wiskundige vraagstukken die tot nu toe openstonden. De resultaten staan in een peer-reviewed artikel in het tijdschrift Science. Het systeem gebruikt Gemini 3.1 Pro om bewijzen te schrijven in de formele taal Lean en controleert elke stap automatisch.

## Wat AlphaProof Nexus heeft bereikt

Volgens het artikel loste AlphaProof Nexus negen van de 353 Erdős-problemen op die nog als open staan geregistreerd, waaronder twee problemen die 56 jaar onopgelost waren gebleven. Ook bewees het 44 vermoedens uit de OEIS-database met gehele getallenreeksen, loste het een open vraag in de algebraïsche meetkunde op en verbeterde het een bekende grens in min-max-optimalisatie – een methode die wordt gebruikt bij het trainen van sommige AI-modellen.

## Hoe het systeem werkt

AlphaProof Nexus is gebaseerd op Gemini 3.1 Pro, dat bewijsvoorstellen opstelt in Lean en direct feedback krijgt van de Lean-verificator. Als een voorstel niet klopt, geeft Lean een foutmelding die richting geeft aan de volgende poging. Voor bijzonder lastige deelproblemen kan het systeem een beroep doen op een gespecialiseerde tool genaamd AlphaProof. Het team deelde de negen oplossingen voor de Erdős-problemen online voordat het artikel werd gepubliceerd.

## De feiten

- AlphaProof Nexus loste negen van de 353 open Erdős-problemen op, waaronder twee die 56 jaar onopgelost waren.
- Het systeem bewees 44 vermoedens uit de OEIS-database met gehele getallenreeksen.
- Het loste een open vraag in de algebraïsche meetkunde op en verbeterde een grens in min-max-optimalisatie.
- AlphaProof Nexus is gebaseerd op Gemini 3.1 Pro, dat bewijzen schrijft en herziet in de formele taal Lean.
- Het onderzoek werd gepubliceerd in het peer-reviewed tijdschrift Science.

## Waarom het ertoe doet

Voor wiskundigen biedt de AI een nieuwe manier om moeilijke problemen te onderzoeken en bewijzen automatisch te controleren, wat onderzoek mogelijk kan versnellen. Voor gebruikers van AI-tools kan de verbetering in min-max-optimalisatie leiden tot efficiëntere training van toekomstige modellen. De publicatie in een peer-reviewed tijdschrift laat zien dat door AI gegenereerde bewijzen serieus worden genomen door de wetenschappelijke gemeenschap, al is bredere validatie nog nodig.

## Bronnen en referenties

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

Laatst bijgewerkt: 2026-10-12