La inteligencia artificial acaba de cruzar una línea que muchos consideraban exclusiva de los grandes genios humanos. OpenAI anunció que una versión interna de su familia de modelos Astra resolvió diez problemas matemáticos y de ciencias de la computación que llevaban al menos una década sin avances significativos. No se trata de ejercicios escolares. Son problemas abiertos en teoría de grupos, geometría de altas dimensiones, teoría de códigos, complejidad cuántica y combinatoria extrema. Cada solución viene acompañada de un certificado formal en Lean 4, verificable por máquina y publicado en…
Leer más¡Histórico! La IA de OpenAI resolvió 10 problemas matemáticos que llevaban una década sin solución… en horas
