Heraldo de Madrid - OpenAI afirma que sua IA resolveu um dos problemas mais complexos da matemática