Jornal Do Brasilia - OpenAI afirma que su IA resolvió uno de los problemas más complejos de las matemáticas