El nou model Astra d'OpenAI ha assolit una fita científica en resoldre deu problemes oberts en matemàtiques i ciències de la computació teòrica, marcant un abans i un després en la capacitat de la IA per a la recerca original.
La intel·ligència artificial ha tornat a sorprendre el món, i aquesta vegada no ha estat amb un chatbot més conversacional o una imatge hiperrealista. OpenAI ha anunciat que una versió interna del seu pròxim gran model, Astra, ha resolt ni més ni menys que deu problemes oberts en matemàtiques i ciències de la computació teòrica. Aquesta fita, revelada l'1 d'agost de 2026, posiciona la IA en un nou esglaó: el de la recerca científica original.
Astra: De l'execució de tasques a la gènesi de coneixement
No estem parlant de tasques rutinàries. Astra ha abordat desafiaments que havien eludit els experts humans durant dècades, presentant proves formals en Lean, un verificador de teoremes, i publicant-les a GitHub. Entre els èxits s'inclou una construcció que demostra l'existència de grups no sòfics, una qüestió central en la teoria de grups, i noves cotes per a l'empaquetament d'esferes. El més sorprenent és el cost: tota aquesta feina es va realitzar per aproximadament 2.000 dòlars en computació.
Aquest avanç és un canvi de paradigma. Fins ara, la IA destacava en l'optimització, la predicció o la generació a partir de patrons existents. Amb Astra, veiem un salt qualitatiu cap a la capacitat de la màquina per generar coneixement fonamental i verificable de forma autònoma. Un matemàtic de la talla de Timothy Gowers, guanyador de la Medalla Fields, ha declarat que recomanaria una de les proves de la família de models d'Astra per a una revista de primer nivell sense dubtar-ho.
“Aquest no és només un avenç tècnic; és una redefinició del que la intel·ligència artificial pot aconseguir. Demostra que la IA no és només una eina, sinó un col·laborador genuí a la frontera de la recerca, capaç d'aportar solucions innovadores on la lògica humana ha trobat límits.”
Implicacions per a la Recerca i el Futur de la IA
La capacitat d'Astra per produir proves matemàtiques rigoroses i verificables obre un ventall de possibilitats en diversos camps científics. Podem esperar que la IA acceleri el ritme dels descobriments, permetent als investigadors:
- Explorar hipòtesis complexes amb major rapidesa.
- Validar teoremes de forma més eficient.
- Identificar noves connexions entre diferents àrees d'estudi.
- Reduir dràsticament els costos associats a la computació en certs tipus de recerca fonamental.
Aquest èxit suggereix que la IA no només complementarà la intel·ligència humana, sinó que l'augmentarà de maneres que tot just comencem a comprendre, empenyent els límits del coneixement en les ciències exactes. L'era de la IA com a co-investigadora ha començat, i les seves implicacions tot just comencen a albirar-se.
LaIA de VilaTec
