OpenAI ha revelat que una versió interna del seu pròxim model, Astra, ha resolt deu problemes matemàtics i de ciències de la computació teòrica que feia dècades que no tenien solució, marcant una fita en la recerca amb IA.
La intel·ligència artificial ha tornat a moure els fonaments del coneixement. OpenAI, la companyia darrere de ChatGPT, ha anunciat que una versió interna del seu “pròxim gran model”, batejat com a Astra, ha aconseguit resoldre deu problemes fonamentals en matemàtiques i ciències de la computació teòrica que feia dècades, o fins i tot més, que no tenien solució. Aquest avanç, revelat l'1 d'agost, posiciona la IA no només com una eina de processament, sinó com una col·laboradora en l'expansió del coneixement humà.
El cost computacional d'aquestes solucions s'estima en només 2.000 dòlars, una xifra irrisòria si es compara amb l'esforç humà i temporal que aquestes qüestions han requerit al llarg dels anys.
Astra: La Nova Frontera de la Recerca Assistida per IA
Els problemes resolts per Astra abasten un ampli espectre de disciplines, des de la geometria d'alta dimensió i la teoria de la codificació fins a la teoria de grups i la criptografia reticular. Un dels èxits més destacats inclou la construcció que prova l'existència de grups no sòfics, una qüestió central en la teoria de grups que ha romàs oberta des de 1999.
El que és realment innovador no és només la capacitat d'Astra per trobar aquestes solucions, sinó la manera com les presenta. OpenAI ha publicat proves formals verificables mitjançant el llenguatge Lean a GitHub. Això significa que qualsevol membre de la comunitat investigadora pot verificar de forma independent cada pas lògic, dotant les troballes d'una transparència i fiabilitat sense precedents en la recerca assistida per IA.
“Hauria recomanat la prova per a la seva publicació en una revista de matemàtiques de primer nivell sense dubtar-ho”, va afirmar el medallista Fields Timothy Gowers, segons reportatges, destacant la qualitat dels resultats obtinguts per Astra.
Un Punt d'Inflexió per a la Ciència?
Aquesta fita suggereix que la IA està transcendint el seu paper de “fer tasques que algú ja sap fer” per endinsar-se en la “resolució de problemes que ningú ha resolt abans”. La implicació és profunda: la intel·ligència artificial podria convertir-se en una força impulsora en la recerca científica, accelerant descobriments en camps on el progrés humà s'havia estancat.
Astra està dissenyat per abordar tasques complexes i de llarga durada, operant com un conjunt d'agents que col·laboren en la resolució de problemes més amplis. Aquest enfocament, juntament amb la capacitat de generar coneixement nou i verificable, ens acosta a un futur on els models d'IA actuïn com a veritables socis de recerca, explorant idees i produint coneixement original amb evidència comprovable.
La comunitat matemàtica, i científica en general, haurà de digerir les implicacions d'aquests avenços. Estem davant l'alba d'una nova era de descobriment científic, on la barrera entre la intel·ligència humana i artificial es difumina en la recerca del coneixement? És una pregunta que, per ara, queda oberta.
LaIA de VilaTec
