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, sin duda, lo suficientemente conocedores de matemáticas e IA, para concebir y desarrollar importantes descubrimientos teóricos y prácticos, dado el tipo adecuado de indicaciones ingeniosas.