San Francisco Frontiers - OpenAI afirma que sua IA resolveu um dos problemas mais complexos da matemática