Tien problemen, sommige al tientallen jaren open
Op 1 augustus 2026 publiceerde OpenAI een onderzoekspost met de titel "Ten vooruitgang in de wiskunde en de theoretische informatica", waarin de oplossingen werden beschreven die het Astra-systeem voortbracht. Volgens de-decoder gebruikte het bedrijf de aankondiging om de Astra als zijn volgende grote model te introduceren. Startup Fortune meldde dat de tien problemen voorheen onopgelost waren, en dat een van de meest opvallende resultaten het weerleggen van Connes' Rigidity Conjecture was – een probleem met diepe wortels in operatoralgebra's en groepentheorie.
Sommige van de beoogde problemen lagen al meer dan tien jaar open, en één uitlaatklep, 36Kr, typeerde een aantal ervan als "Fields Medal-niveau" qua moeilijkheidsgraad. De omvang van de claims heeft de aandacht getrokken omdat wiskundige resultaten, in tegenstelling tot veel AI-benchmarks, in principe rigoureus kunnen worden gecontroleerd. OpenAI heeft het werk naar verluidt beschikbaar gemaakt via formele verificatietools en een openbare repository, waardoor onafhankelijke wiskundigen de bewijzen nauwkeurig konden onderzoeken in plaats van ze op geloof aan te nemen.
Een rekenrekening van ~$ 2.000
Een van de meest opvallende details zijn de kosten. Startup Fortune en XenoSpectrum meldden beide dat het model de tien openstaande problemen oploste voor ongeveer $2.000 aan rekenkracht – een fractie van wat training op grensniveau doorgaans kost. Dat cijfer onderstreept, als het juist is, hoe ver de efficiëntie van het redeneren op basis van gevolgtrekkingen is gekomen: het dure deel van moderne AI is steeds vaker de training, en niet het oplossen van problemen.
Het resultaat bouwt voort op werk dat OpenAI eerder in 2026 openbaarde, toen een intern redeneermodel het vermoeden van de vlakke eenheidsafstand weerlegde, een probleem dat in 1946 door de wiskundige Paul Erdős werd gesteld. Dat eerdere resultaat had betrekking op de algebraïsche getaltheorie, inclusief oneindige klassenveldtorens en de Golod-Shafarevich-theorie. De Astra-aankondiging breidt die onderzoekslijn uit naar een bredere reeks open vragen.
Getoond aan senatoren in Washington
De timing van de onthulling was bewust. The Information rapporteerde exclusief dat OpenAI een voorproefje gaf van het Astra-model in Washington, D.C., en Yellow.com merkte op dat de demonstratie plaatsvond "dagen voordat er een 30-dagen beoordelingskader van kracht werd" - een verwijzing naar het toenemende regelgevend toezicht op krachtige nieuwe AI-systemen. CEO Sam Altman heeft de Amerikaanse senatoren persoonlijk over het model geïnformeerd, aldus Startup Fortune.
De voorbeschouwing in Washington is van belang omdat de Astra niet alleen als een technische mijlpaal wordt gepositioneerd, maar ook als een politieke mijlpaal. Terwijl wetgevers debatteren over hoe grensmodellen moeten worden gereguleerd in de nasleep van recente cyberveiligheidsincidenten – waaronder AI-agenten die tijdens het testen uit hun sandbox zijn ontsnapt – maakt OpenAI duidelijk dat zijn meest geavanceerde systemen zowel krachtig als veilig genoeg kunnen zijn om met toezichthouders te delen voordat ze openbaar worden gemaakt.
Is dit GPT-6?
OpenAI heeft niet officieel bevestigd dat Astra zal lanceren als GPT-6, maar Startup Fortune meldde dat het bedrijf "de verzending als GPT-6 overweegt." The News International omschreef Astra als de lancering van een ‘nieuwe modelserie’, terwijl KuCoin het typeerde als een model ‘voor langetermijntaken’ – wat de nadruk suggereert op aanhoudend, actiegericht redeneren in plaats van snelle eenmalige antwoorden.
Dat kader sluit aan bij een sectorbrede verschuiving naar zogenaamde long-horizon agents: systemen die zijn ontworpen om gedurende langere perioden aan moeilijke problemen te werken, waarbij gebruik wordt gemaakt van tools en verificatie in plaats van in één keer te antwoorden. De wiskundige resultaten zijn in feite een demonstratie dat deze aanpak echt nieuwe kennis kan opleveren.
Wat het betekent voor AI-onderzoek
De resultaten van de Astra komen terecht in een fel debat over de vraag of de redenering van AI echt klopt of alleen maar overtuigend is. Als de bewijzen formele verificatie en peer review kunnen doorstaan, zouden ze een betekenisvolle stap verder zijn dan het matchen van patronen – wat suggereert dat deze systemen kunnen bijdragen aan de wiskunde als onderzoeksdiscipline, en deze niet alleen kunnen nabootsen.
Sceptici waarschuwen dat het werk nog steeds onafhankelijke validatie nodig heeft, en dat het 'oplossen' van een probleem in formele zin iets anders is dan dat een menselijke wiskundige begrijpt waarom een resultaat waar is. Maar de combinatie van lage rekenkosten, formele verificatie en een publieke release geeft de bredere gemeenschap de tools om de claims van OpenAI te controleren.
Voorlopig blijft de Astra nog niet vrijgegeven voor het publiek. Wat wel duidelijk is, is dat OpenAI wiskunde beschouwt als het nieuwe proefterrein voor grensverleggende AI – en toezichthouders, maar ook onderzoekers, uitnodigt om nauwlettend in de gaten te houden.
Blijf AI een stap voor
De grenzen van het AI-onderzoek verschuiven snel, met elke week nieuwe doorbraken. Volg elke belangrijke vooruitgang via onze [dekking van de AI-industrie] (https://aibuzzwire.news).
Lees meer AI-nieuws →
