GPT-5 acaba de pasar lo que los investigadores llaman la “Prueba de Gödel.” Eso significa que no solo está resolviendo problemas de libros de texto, sino que está abordando conjeturas matemáticas abiertas que normalmente llevarían días a un estudiante de doctorado hábil para resolver. En un nuevo artículo, se probó a GPT-5 en 5 conjeturas de optimización no resueltas. Resolvió 3 de 5. En un problema incluso produjo una prueba válida diferente de la que los investigadores esperaban. Hemos entrado oficialmente en la era donde la IA de frontera no solo está aprendiendo de las matemáticas, sino que está haciendo matemáticas. Las implicaciones son enormes: • Progreso en problemas que desconciertan a los humanos durante días o semanas • IA contribuyendo a descubrimientos matemáticos genuinos • Un adelanto de cómo se transformará la investigación en la década de 2030 La gente todavía está subestimando esto. El impacto de modelos que pueden probar teoremas apenas ha comenzado a calar. Esta es la línea entre “autocompletar elegante” y un razonamiento científico real.