Estamos entrando agora em uma nova era de descobertas:

https://openai.com/index/sharing-ai-progress-in-mathematics/