El próximo modelo de razonamiento de OpenAI, conocido internamente como Astra, acaba de lograr algo que haría llorar a la mayoría de los candidatos a doctor en sus pizarras blancas. La empresa anunció el 1 de agosto que el modelo generó de forma autónoma 10 nuevos resultados en problemas abiertos de matemáticas e informática teórica, cada uno verificado por matemáticos externos, incluido el medallista Fields Tim Gowers.
Este no es el primer rodeo de Astra. El 20 de mayo, el mismo modelo refutó la conjetura de distancia unitaria plana de Erdős, un problema que había desconcertado a los matemáticos durante casi 80 años.
Lo que realmente hizo el modelo
El problema, planteado por el legendaria matemático húngaro Paul Erdős, se refiere a cuántas parejas de puntos en un plano pueden estar exactamente a una unidad de distancia. Astra construyó configuraciones que producen al menos n^(1+δ) pares a distancia unitaria, donde δ es mayor que cero, para infinitos valores de n. El resultado refinado fijó δ en 0.014. Fue la primera vez que una IA resolvió de forma autónoma un problema significativo en geometría discreta. Sin entrenamiento matemático especializado. Sin intervención humana. El modelo realizó razonamiento algebraico avanzado por sí mismo.
El anuncio de agosto añadió 10 resultados más, abarcando geometría e informática teórica. Cada resultado fue verificado independientemente por matemáticos profesionales. Gowers mismo calificó el logro como “un hito en las matemáticas con IA”. Matemáticos, incluidos Gowers y Thomas Bloom, publicaron artículos complementarios que verificaban las demostraciones y ofrecían un análisis adicional.
Por qué esto importa más allá de las matemáticas puras
La criptografía, el pilar de cada cadena de bloques y activo digital existente, es fundamentalmente matemática aplicada. Las suposiciones de seguridad que sustentan Bitcoin, Ethereum y cada otro protocolo cripto se basan en la dificultad computacional de ciertos problemas matemáticos. Un modelo que puede refutar conjeturas de 80 años de antigüedad en geometría discreta hoy es un modelo cuyos sucesores podrían explorar los fundamentos matemáticos de la encriptación mañana.
Lo que los inversores realmente deben vigilar
El impacto inmediato en el mercado es cero. OpenAI no mencionó tokens de criptomoneda, activos digitales ni protocolos relacionados en ninguno de sus anuncios. Este es un hito puramente de investigación en IA.
Primero, los tokens y proyectos relacionados con IA que se enfocan en cálculo matemático y verificación de pruebas podrían ver un renovado interés. La narrativa de que la IA puede realizar trabajo intelectual real y verificable, no solo generar texto plausible, fortalece el caso para proyectos que construyen en la intersección entre IA y verificación en cadena de bloques.
En segundo lugar, la criptografía post-cuántica pasa de ser una preocupación teórica a una prioridad práctica. Los proyectos que trabajan en estándares criptográficos resistentes a la cuántica y a la inteligencia artificial podrían volverse cada vez más relevantes.