OpenAI rompe barrera de 48 años en empaquetamiento de esferas de alta dimensión

El primero de agosto de 2024, OpenAI anunció que su modelo Astra había resuelto diez problemas en matemáticas y ciencias de la computación teórica, entre ellos un avance notable en la teoría del empaquetamiento de esferas en espacios de alta dimensión. Esta área, que suena abstracta, tiene consecuencias inmediatas en tu vida digital: los códigos de corrección de errores basados en empaquetamiento óptimo de esferas son los que permiten que un mensaje de texto llegue intacto a pesar del ruido electromagnético, cables defectuosos y glitches que lo bombardean durante su viaje desde tu teléfono hasta el servidor, y de ahí al destinatario.

El logro de Astra responde a una pregunta abierta desde 2003, cuando Henry Cohn del MIT y Noam Elkies de Harvard introdujeron un método poderoso para calcular cotas superiores en la densidad de empaquetamiento. Ese método funciona como una máquina: alimentas una función matemática con ciertas propiedades y obtienes un límite superior para la densidad óptima. Maryna Viazovska lo usó en 2016 para demostrar la densidad exacta en ocho dimensiones, una hazaña que le valió la Medalla Fields en 2022. Pero nadie sabía si el método Cohn-Elkies podía mejorar el récord de 48 años que describía qué tan rápido cae la densidad conforme las dimensiones aumentan. Astra calculó el umbral exacto: demostró hasta dónde puede llegar ese método, sin importar qué tan meticulosamente diseñes la función que ingresas.

La prueba fue escrita en Lean, un lenguaje de asistencia formal que verifica automáticamente la validez lógica de las demostraciones. Al momento de la publicación del artículo original, expertos en la materia solo habían revisado parcialmente los archivos. Stephen Miller, matemático de Yeshiva University, afirmó públicamente que la nueva prueba depende fuertemente de su trabajo previo y que Astra no le dio atribución adecuada. Un portavoz de OpenAI declaró a Scientific American que la compañía asume responsabilidad por la corrección de estos resultados y cumple con los mismos estándares generalmente esperados de matemáticos humanos.

OpenAI reportó que encontrar las diez pruebas costó el equivalente a dos mil dólares en tarifas de uso de IA, cifra que omite el costo de intentos no exitosos. El modelo no ganará una Medalla Fields, pero, pendiente de verificación humana completa, sí empujó la frontera de un problema que vincula geometría abstracta con la infraestructura invisible de la era digital.

Cuando envías un mensaje, tu teléfono lo convierte en una secuencia de ceros y unos que viaja como señal electromagnética hasta la torre celular más cercana y después por una red compleja de cables. En cada etapa, interferencias pueden corromper bits. Los códigos de corrección modelan cada mensaje como un punto en un espacio de muchas dimensiones; alrededor de cada código válido hay una "esfera" de tolerancia que captura todas las versiones ligeramente corrompidas que el receptor puede "redondear" al mensaje original. Empaquetar esas esferas de forma óptima maximiza la cantidad de información transmisible sin ambigüedad. NASA usó un código cercano a este principio en las sondas Voyager para enviar imágenes desde el espacio profundo. Comprender los límites del empaquetamiento en dimensiones arbitrarias es, literalmente, comprender los límites de cuánta información podemos transmitir de forma confiable.