OpenAI onthult Astra na het oplossen van 10 langlopende wiskundige problemen

OpenAI heeft Astra onthuld, een aankomend frontiermodel dat is ontworpen om de GPT-5.6-serie op te volgen. Een interne versie genereerde naar verluidt nieuwe resultaten voor tien lang bestaande problemen in de wiskunde en theoretische informatica.

OpenAI selecteerde problemen die ten minste tien jaar lang weinig of geen vooruitgang hadden geboekt op hun centrale resultaten. Het bedrijf heeft nu ondersteunende materialen vrijgegeven, zodat externe onderzoekers het werk van het model kunnen onderzoeken.

Astra produceerde de resultaten tegen relatief lage kosten

OpenAI zegt dat Astra geen buitengewoon grote hoeveelheden rekenkracht nodig had om de ontdekkingen te doen.

Het totale tokenverbruik voor alle tien oplossingen zou tegen GPT-5.6 Sol API-prijzen ongeveer $2.000 hebben gekost. Na het identificeren van de oplossingen hielp Astra ook bij het omzetten van de wiskundige argumenten in onderzoeksmanuscripten.

De gerapporteerde kosten suggereren dat geavanceerd wiskundig onderzoek niet altijd enorme inferentiebudgetten hoeft te vergen. Onafhankelijke onderzoekers moeten de resultaten echter nog verifiëren en hun betekenis beoordelen.

OpenAI gebruikte Lean om Astra’s bewijzen te verifiëren

Astra formaliseerde elk wiskundig argument met behulp van Lean, een programmeertaal en stellingbewijzer die is ontworpen voor het controleren van formele bewijzen.

De resulterende bewijscertificaten stellen computers in staat elke logische stap te verifiëren. Dit proces vermindert de afhankelijkheid van uitsluitend menselijke beoordeling en kan onderzoekers helpen verborgen hiaten of onjuiste aannames te identificeren.

OpenAI publiceert de onderzoeksmanuscripten, Lean-bewijzen en door het model gegenereerde uitleg voor onafhankelijk onderzoek. Wiskundigen kunnen daarom zowel de geschreven argumenten als hun machinaal controleerbare versies beoordelen.

Onderzoekers gaan nu Astra’s werk beoordelen

OpenAI vraagt de wiskundegemeenschap om de bewijzen onafhankelijk te onderzoeken en het belang van elk resultaat te bepalen.

Onderzoekers moeten bevestigen dat de formele bewijzen overeenkomen met de beoogde wiskundige beweringen. Zij zullen ook beoordelen of Astra werkelijk nuttige technieken heeft geïntroduceerd die tot verdere ontdekkingen kunnen leiden.

De resultaten kunnen een vroege indicatie geven van hoe frontiermodellen geavanceerd wiskundig onderzoek kunnen ondersteunen. Hun bredere belang zal afhangen van onafhankelijke verificatie en de bruikbaarheid van de methoden die eraan ten grondslag liggen.

In ander OpenAI-nieuws heeft het bedrijf onlangs de GPT-5.6 API-prijzen verlaagd en nieuwe spraaktranscriptiemodellen uitgebracht.