OpenAI mobiliza milhares de agentes de IA para solucionar problema matemático que permaneceu sem solução por décadas 10