DeepMind hevder maskinsjekkede bevis for ni Erdős-problem – to uavklart i 56 år
Google DeepMinds matematikkagenter skal ha produsert maskinsjekkede bevis for en rekke tidligere uløste problemer – blant annet ni Erdős-problem, hvorav to hadde motstått matematikere i 56 år. Men tallene stammer foreløpig fra én enkelt sekundær kilde, og det er verdt å se nøye på hva som faktisk er bekreftet.
Hva som skal ha skjedd
Ifølge et innlegg fra Cryptobriefing 2. oktober 2026, som gjengir resultater fra DeepMinds forskning, har Googles Gemini-drevne matematikkagenter funnet bevis for en serie uløste matematiske problemer. Resultatene skal være beskrevet i en detaljert arXiv-artikkel publisert en gang rundt midten av 2026.
Tallene som oppgis, er konkrete – men alle skal leses som DeepMinds egne påstander, gjengitt gjennom Cryptobriefing:
- AlphaProof Nexus skal ha løst 9 av 353 tidligere uløste Erdős-problem. To av de ni skal ha stått uavklart i 56 år. Samme system skal også ha bevist 44 av 492 formodninger i OEIS, The On-Line Encyclopedia of Integer Sequences.
- Aletheia, et annet system, skal siden utrullingen i desember 2025 ha vurdert rundt 700 åpne Erdős-problem og funnet eller konstruert løsninger for 13 av dem – fire av de 13 beskrives som nye, autonome løsninger.
Det er verdt å merke seg en uavklart detalj allerede her: Cryptobriefings egen overskrift snakker om «fem uløste matematiske problemer», men det tallet går ikke opp mot de større oversiktene på ni og 13 i selve artikkelen. Grunnlaget for «fem»-tallet er uklart, og vi har ikke adoptert det som historiens anker.
Hvordan systemet fungerer
Det som skiller denne typen systemer fra en språkmodell som skriver plausibelt utseende matematiske tekster, er verifiseringsmekanismen. Ifølge Cryptobriefings beskrivelse av DeepMinds rammeverk kjører AlphaProof Nexus flere uavhengige prover-underagenter i flertrinns resonnementsløkker, drevet av Gemini 3.1 Pro. Underagentene arbeider altså hver for seg på samme problem, og resultatene deres grades deretter av automatiske formelle beviskontrollører.
Dette er poenget som gjør resultatene mer enn bare tekst: Et formelt bevis er et objekt som en maskin mekanisk kan sjekke steg for steg, slik en kompilator sjekker kode. Hvis et bevis passerer kontrolløren, er det verifiserbart uavhengig av om ideen kom fra en modell. Modellen kan ha gode og dårlige ideer – men et godkjent bevis er enten riktig formalisert eller ikke, og det bestemmes ikke av modellens egen selvtillit.
Aletheia er bygget på Gemini Deep Think, den samme modellfamilien som sto bak Googles prestasjon i Den internasjonale matematikkolympiaden i 2025: der scoret systemet 35 av 42 poeng, som tilsvarer gullmedalje-nivå, og løste 5 av 6 problemer innenfor de samme tidsbegrensningene som menneskelige deltakere. Konkurranseresultatet gir en indikasjon på den utviklingsbanen disse bevissagentene bygger videre på.
Verifisering – og hva mennesker fortsatt må gjøre
Ifølge Cryptobriefings gjengivelse av forskningen ble resultatene gjennomgått av fageksperter som bekreftet både bevisene og at formaliseringen av de opprinnelige formodningene var troverdig. Det siste punktet er ikke trivielt: Å oversette en løst formodning til formell matematikk kan selv introdusere feil, og et bevis av noe annet enn det som faktisk ble spurt om, er ikke verdt mye.
Samtidig anerkjenner forskningen ifølge kilden en viktig begrensning: Nåværende KI-systemer krever fortsatt menneskelig tilsyn for å vurdere nyhet – det vil si at mennesker må bekrefte om et resultat faktisk er nytt. Med andre ord kan maskinen bevise noe korrekt, men det er fortsatt mennesker som avgjør om beviset er en genuint ny løsning på et åpent problem eller en ny reformulering av noe som allerede var kjent.
Kostnadssiden er også verdt å legge merke til: den beregnede kostnaden per problem oppgis til noen hundre dollar. Hvis tallet holder, er det en dramatisk lav pris målt mot årene med ekspertarbeid enkelte av disse problemene har representert – men også her gjelder at tallet foreløpig kun er kjent gjennom den samme sekundære kilden.
Hva dette kan bety, ifølge dem som lager systemene
DeepMind-forskere, blant dem Pushmeet Kohli, har ifølge Cryptobriefing fremhevet at den agentbaserte tilnærmingen kan strekke seg utover ren matematikk, med felt som kombinatorikk, kvanteoptikk og algebraisk geometri som nevnte mulige målområder. Dette er selskapets egne utsagn om fremtidige anvendelser, ikke dokumenterte resultater – og bør leses som en veikart-påstand fremfor en faktaoppsummering.
Det er uansett den mekaniske verifiseringen som gjør utsiktene interessante. Hvis agentdrevne bevismiljøer kan utforske store deler av problemrommet til en brøkdel av kostnaden, endres økonomien i visse deler av matematisk forskning – ikke ved at matematikere erstattes, men ved at systemene kan fungere som en bred, billig forsoningsprosess før menneskelig eksperttid investeres. Forskningens eget forbehold om nyhetsvurdering viser imidlertid hvor grensen foreløpig går.
Det vi ikke kan bekrefte
Så langt er alt det ovenstående basert på én enkelt kilde. Flere forhold begrenser hvor fast grunn historien står på:
- Ingen primærkilde er tilgjengelig for oss: verken DeepMinds egne uttalelser, den rapporterte arXiv-artikkelen eller dokumentasjonen for AlphaProof Nexus og Aletheia. Alle tall – 9 av 353, 44 av 492, 13 løsninger, noen hundre dollar per problem – hviler på én sekundær gjengivelse.
- arXiv-artikkelen er ikke identifisert presist: kilden oppgir bare «rundt midten av 2026», uten tittel, forfattere eller nøyaktig dato. Dermed kan ikke ekspertgjennomgangen etterprøves herfra.
- Cryptobriefing er en kryptovaluta-fokusert utgivelse, ikke et matematisk eller KI-forskningsfokusert medium, og påliteligheten i deres oppsummering av forskningsresultater er uavklart.
- Det er uklart hva «uløst» betyr nøyaktig – om problemene var åpne da KI-bevisene ble funnet og uavhengig bekreftet som nye, eller om noen allerede var løst av mennesker. At forskningen selv peker på behovet for menneskelig nyhetsvurdering, tyder på at dette spørsmålet ikke er fullt ut besvart.
- Hvilke konkrete Erdős-problem som er løst, oppgis ikke noe sted i kilden, så det lar seg ikke si noe om her.
Konklusjonen er derfor delt: Den tekniske mekanismen – flere uavhengige prover-underagenter med formell beviskontroll – er godt beskrevet og prinsipielt solid, og tallene er spesifikke nok til å være etterprøvbare hvis arXiv-artikkelen finnes som beskrevet. Men inntil primærdokumentasjonen er tilgjengelig og uavhengige matematikere har bekreftet resultatene, er dette DeepMinds påstander gjengitt gjennom én sekundær kilde – ikke en dokumentert revolusjon i matematikken.