OpenAI reveló avances matemáticos de Astra, su próximo modelo de IA, pero todavía no anunció su lanzamiento

OpenAI, la empresa creadora de ChatGPT, difundió nuevos resultados obtenidos con Astra, una familia de modelos de inteligencia artificial que todavía se encuentra en desarrollo y no está disponible para el público.

Según la compañía, una versión interna del sistema produjo diez avances en áreas de las matemáticas y la computación teórica. Los trabajos abarcan problemas relacionados con el empaquetamiento de esferas, la teoría de códigos, los grupos no sóficos, la complejidad cuántica y el estudio de retículas, entre otros campos especializados.

El anuncio representa un salto respecto de las pruebas tradicionales utilizadas para medir modelos de IA. En lugar de responder ejercicios con soluciones conocidas, Astra habría trabajado sobre preguntas de investigación abiertas y generado argumentos matemáticos originales.

Sin embargo, esto no significa que OpenAI haya presentado un sistema capaz de realizar descubrimientos científicos de manera completamente autónoma.

Un modelo interno, no un producto disponible

Astra no fue lanzado como una nueva versión de ChatGPT ni se comunicó una fecha para su disponibilidad. OpenAI lo describió como su “próxima gran familia de modelos” y aclaró que los resultados fueron obtenidos con una versión interna.

La empresa también señaló que los argumentos iniciales fueron convertidos en manuscritos mediante un proceso en el que participaron investigadores humanos y el propio modelo. Posteriormente, las demostraciones se formalizaron en Lean, un software que permite comprobar paso por paso la consistencia lógica de una prueba matemática.

Este procedimiento reduce el riesgo de aceptar demostraciones aparentemente convincentes que contienen errores sutiles, uno de los problemas frecuentes de los modelos de lenguaje. No obstante, una certificación en Lean confirma que una prueba se desprende de determinadas premisas formales; no establece por sí sola la importancia, originalidad o utilidad científica del resultado.

¿Puede generar conocimiento nuevo?

La evidencia presentada indica que los modelos más avanzados comienzan a superar la etapa de resumir información existente o resolver evaluaciones académicas. En ciertos campos formales, ya pueden combinar técnicas conocidas de maneras novedosas y encontrar resultados que no habían sido publicados.

OpenAI había informado anteriormente que otro de sus modelos internos consiguió refutar una conjetura vinculada con el problema de las distancias unitarias, planteado por el matemático Paul Erdős hace aproximadamente 80 años. El matemático británico Tim Gowers, ganador de la Medalla Fields, calificó ese resultado como un hito para la aplicación de inteligencia artificial en matemáticas.

Aun así, la propia empresa reconoce que los sistemas actuales todavía no son capaces de inventar por sí solos marcos científicos completamente nuevos, comparables con la creación del cálculo o con una nueva teoría física.

La expresión “generará conocimientos científicos inéditos”, por lo tanto, requiere una precisión: Astra habría producido resultados matemáticos originales y verificables, pero todavía no está demostrado que pueda trasladar esa capacidad de forma general a disciplinas como medicina, biología, química o física experimental.

En esas áreas no alcanza con una demostración lógica. Las hipótesis deben contrastarse mediante experimentos, observaciones, datos reproducibles y evaluación de otros científicos.

Un avance importante que necesita revisión

Los documentos difundidos ofrecen material concreto para que especialistas analicen las pruebas. Sin embargo, como ocurre con cualquier resultado científico reciente, será necesaria una revisión independiente que determine si cada aporte es correcto, verdaderamente novedoso y relevante para su campo.

También será importante conocer con mayor detalle cuánto trabajo correspondió al modelo, qué intervención tuvieron los investigadores y cuántos intentos fallidos fueron necesarios antes de encontrar las soluciones presentadas.

El anuncio puede considerarse un avance significativo en razonamiento matemático asistido por IA. Pero no equivale todavía a la llegada de una inteligencia artificial que produzca descubrimientos confiables en cualquier rama de la ciencia sin supervisión humana.