OpenAI Alega Solução para Problema do Prêmio do Milênio, Desencadeando Debate na Comunidade Matemática

A OpenAI anunciou que seu modelo de IA mais recente resolveu um Problema do Prêmio do Milênio, um enigma matemático com uma recompensa de 1 milhão de dólares que permanecia não resolvido por décadas. O problema específico envolvia as equações de Navier-Stokes para meios incompressíveis, com a prova da IA demonstrando que essas equações podem conter singularidades. Para conseguir isso, a OpenAI teria implantado 10.000 agentes autônomos a um custo estimado de 15 milhões de dólares. A empresa divulgou uma prova de 166 páginas junto com uma formalização legível por computador para auxiliar especialistas na verificação. Embora o Clay Institute of Mathematics exija um período de verificação de dois anos antes de conceder o prêmio, alguns especialistas, incluindo o professor da Universidade de Nova York, Tristan Buckmaster, acreditam que o problema foi resolvido.

O anúncio causou agitação significativa entre os matemáticos. Alguns pesquisadores expressam preocupação de que o ritmo rápido das descobertas de IA torne o campo instável e ameace o papel tradicional dos matemáticos humanos. Professores observaram que a IA já está perturbando o ensino de graduação ao tornar obsoletas as tarefas tradicionais de casa. Outros argumentam que o processo de resolver problemas por meio do esforço humano de longo prazo é o principal atrativo da disciplina, e temem que os matemáticos possam ser reduzidos a auditores que simplesmente verificam provas geradas por IA.

A controvérsia também surgiu em relação à ética da descoberta. Tristan Buckmaster afirma que a OpenAI se apressou em resolver o problema após tomar conhecimento de seu próprio trabalho com o pesquisador da Anthropic, Levent Alpöge. Além disso, alguns matemáticos argumentam que a solução baseia-se em estratégias desenvolvidas pelos matemáticos espanhóis Diego Cordoba e Luis Martinez-Zoroa. Alguns críticos sugerem que o projeto foi um exercício de marketing para demonstrar o poder do modelo, em vez de uma busca por utilidade científica.

Veículos com inclinação de centro-esquerda enquadram o evento como uma força disruptiva que ameaça a criatividade humana, a integridade acadêmica e o meio ambiente. Em contraste, o veículo de centro-direita enquadra o evento como um marco na evolução da colaboração entre humanos e máquinas, embora ainda observe a amargura profissional em relação ao crédito e à propriedade intelectual.