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 le tomaría días a un estudiante de doctorado calificado descifrar. En un nuevo artículo, GPT-5 se probó en 5 conjeturas de optimización no resueltas. Resolvió 3 de 5. En un problema, incluso produjo una prueba válida diferente a la que esperaban los investigadores. Hemos entrado oficialmente en la era en la que la IA de frontera no solo aprende de las matemáticas, sino que hace matemáticas. Las implicaciones son enormes: • Progreso en problemas que dejan perplejos a los humanos durante días o semanas • La IA contribuye al descubrimiento matemático genuino • Una vista previa de cómo se transformará la investigación en sí misma en la década de 2030 La gente todavía está subestimando esto. El impacto de los modelos que pueden probar teoremas apenas ha comenzado a asimilarse. Esta es la línea entre el "autocompletado elegante" y el razonamiento científico real.