OpenAI bevestigt 'volgende grote modelfamilie' Astra, lost in één keer tien open wiskundeproblemen op

OpenAI heeft officieel de naam van zijn volgende grote modellenfamilie bevestigd, Astra, en een wiskundig rapport gepubliceerd waaruit blijkt dat een interne versie van Astra tien voorheen onopgeloste problemen in de wiskunde en theoretische informatica heeft opgelost. De problemen bestrijken uiteenlopende gebieden zoals hoogdimensionale meetkunde, coderingstheorie, groepentheorie, kwantumcomplexiteit, roostergebaseerde cryptografie en extremale combinatoriek. Onder de opgeloste problemen bevindt zich een bewijs van het bestaan van niet-sofische groepen, een centrale open vraag in de groepentheorie. Wiskundige Thomas Bloom van de Universiteit van Manchester noemde de resultaten op X 'groot nieuws' en beoordeelde ze hoger dan het tegenvoorbeeld voor het vermoeden van de eenheidsafstand dat in mei werd gepubliceerd. Noam Brown, een sleutelfiguur achter de testtijdredeneringstechnologie die ten grondslag ligt aan Astra, gaf op X toe dat OpenAI ook faalde bij andere grote problemen, waaronder de Millenniumprijsproblemen. Hij merkte op dat ze niet veel rekenkracht per probleem gebruikten en dat testtijdberekeningen verder kunnen worden opgeschaald. Brown beschreef Astra als een 'grote stap voor wetenschappelijk redeneren'. De rekenkosten voor de oplossingen waren opmerkelijk laag: volgens OpenAI zouden de benodigde tokens ongeveer 2000 dollar hebben gekost tegen de API-prijzen van het Sol-model. De argumenten werden vervolgens door mensen samen met hetzelfde model verwerkt tot manuscripten, en elk bewijs werd geformaliseerd tot een Lean-certificaat, een machinaal verifieerbare bevestiging van wiskundige correctheid. OpenAI publiceerde ook een verhaal over het denkproces van het model voor elke oplossing. Het bedrijf verduidelijkte dat, hoewel ze hielpen bij de voorbereiding van manuscripten en formalisering en verantwoordelijkheid nemen voor de correctheid, de wiskundige argumenten zelf afkomstig zijn van het systeem, en dat het claimen van menselijk auteurschap voor een volledig door AI gegenereerd bewijs zowel de bijdrage van het systeem als de aard van echt menselijk intellectueel werk zou misrepresenteren, verwijzend naar de ondertekenaars van de Leidenverklaring over AI en wiskunde. Bloom relativeerde het idee dat AI wiskundigen vervangt, door te stellen dat het niet gepast is om dat te zeggen wanneer de AI voortbouwt op meer dan een eeuw wiskundige theorie, is gebouwd door wiskundigen en is getraind op alles wat wiskundigen ooit hebben geschreven. Eerdere rapporten gaven aan dat CEO Sam Altman Astra demonstreerde aan politici en toezichthouders in Washington D.C., en dat Astra een nieuwe klasse van modellen is die verschilt van de bestaande Sol-, Terra- en Luna-families, met de mogelijkheid om te worden uitgebracht als GPT-6 of als een variant binnen de GPT-5-serie, zoals GPT-5.7. Astra zal naar verwachting het eerste model zijn dat een gepland nieuw kader van de Trump-administratie doorloopt, dat een beoordeling door de federale overheid vereist vóór publieke release. Het model is ontworpen voor multi-agent samenwerking over langere perioden, gericht op het oplossen van complexe projecten en geavanceerde wiskundige taken. OpenAI heeft verklaard dat het als doel heeft AI-systemen te ontwikkelen die uren of dagen aan problemen kunnen werken, en tegen maart 2028 streeft het ernaar een volledig autonome AI-onderzoeker te voltooien.