Estoy absolutamente convencido de que los modelos de IA más inteligentes que existen ahora, GPT-5 Pro y Grok4 Heavy, ya son lo suficientemente inteligentes, y seguramente lo suficientemente conocedores de las matemáticas y la IA, para concebir y desarrollar importantes descubrimientos teóricos y prácticos, dado el tipo correcto de indicaciones inteligentes.