Lo que la IA descubrió
Durante casi 80 años, los matemáticos creían que las soluciones óptimas al problema de Erdős se parecían aproximadamente a rejillas cuadradas. El modelo de OpenAI refutó esa suposición, generando una familia completamente nueva de construcciones que ofrece un mejor rendimiento. La prueba provino de un modelo de razonamiento de propósito general, no de un sistema construido específicamente para matemáticas, y fue formalizada en el lenguaje de verificación Lean.
Verificación de expertos
El medallista Fields Terence Tao revisó y aceptó la prueba, dándole credibilidad dentro de la comunidad matemática. El resultado ha sido descrito como el comienzo de una nueva era donde los sistemas de IA pueden mantener juntas largas cadenas de razonamiento y conectar ideas a través de campos remotos.
Implicaciones más allá de las matemáticas
OpenAI dijo que las mismas capacidades que permitieron este avance matemático pronto acelerarán el trabajo en biología, física, ingeniería y medicina. La compañía enfatizó que el juicio humano sigue siendo esencial: la IA puede buscar, sugerir y verificar, pero las personas eligen los problemas que importan e interpretan los resultados.