OpenAI ha presentado Astra, su nuevo modelo de inteligencia artificial (IA) con capacidades avanzadas para resolver problemas matemáticos complejos y de ciencias de la computación teórica. Según los resultados de las primeras pruebas internas, Astra ha conseguido encontrar soluciones originales a incógnitas históricas en estos campos.
Las capacidades de Astra fueron detalladas en una publicación de investigación donde OpenAI asegura que su modelo logró resolver o generar «un avance sustancial» en 10 problemas abiertos relacionados con áreas como geometría de alta dimensión, teoría de la codificación, complejidad de circuitos aritméticos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía reticular y combinatoria extremal. Resolver estos problemas podría optimizar sistemas vinculados con las telecomunicaciones, la criptografía, la computación cuántica y el diseño de algoritmos.
Por ejemplo, Astra obtuvo nuevos límites superiores para la densidad de empaquetamiento de esferas, un problema que, en dimensiones muy altas, busca determinar la mejor forma de acomodar información digital ocupando el menor espacio posible. Este avance permitiría diseñar sistemas de almacenamiento y transferencia de datos más eficientes.
El modelo también desarrolló demostraciones inéditas sobre la repetición paralela de juegos cuánticos, un concepto teórico que estudia la dificultad de resolver un problema cuando se repite simultáneamente en sistemas cuánticos, contribuyendo a comprender mejor los límites de la computación cuántica y los protocolos de seguridad del futuro.
Astra parece haber encontrado nuevos límites matemáticos para los códigos correctores de errores, sistemas que añaden información adicional a un mensaje digital para detectar y corregir fallas durante el almacenamiento o la transmisión de datos, incluso a través de conexiones satelitales.
OpenAI explica que su modelo no fue diseñado para resolver un único problema con una solución conocida. En cambio, está preparado para analizar incógnitas, explorar distintas ramas de las matemáticas en busca de estrategias de resolución, descartar las menos eficaces y desarrollar argumentos matemáticos relacionados con cada problema. Estos razonamientos fueron revisados por especialistas y formalizados mediante Lean, un software que comprueba automáticamente si las demostraciones respetan las reglas lógicas establecidas.
Este procedimiento sugiere que la IA ya es capaz de participar en la generación de nuevo conocimiento científico, en lugar de limitarse a resolver ejercicios con respuestas conocidas o reinterpretar información existente. Sin embargo, OpenAI enfatiza que esto no significa que los modelos puedan sustituir a los expertos matemáticos, ya que la validación, verificación y contextualización de los resultados seguirá dependiendo del trabajo de especialistas humanos.
A pesar de las altas expectativas generadas, diversos expertos consideran que los resultados deben interpretarse con cautela. Aunque Astra se perfila como el próximo modelo principal de OpenAI, el algoritmo aún no está disponible para el público y se desconocen detalles sobre su desempeño general y cuántos intentos fueron necesarios para alcanzar las conclusiones presentadas.
Regístrate para leer esta noticia
Solo necesitas tu email. Sin contraseñas.