# OpenAI afirma que agentes de IA resolveram um antigo problema matemático

> A OpenAI afirma que milhares de agentes de IA produziram uma solução para o problema da existência e regularidade de Navier-Stokes, um enigma estudado por matemáticos há décadas. O resultado é matemático, não um avanço de engenharia, e alguns pesquisadores temem que a produção de provas por força bruta possa reduzir a compreensão humana.

Oossa · 2026-09-28 · https://oossa.com/pt/openai-says-ai-agents-solved-a-long-standing-math-problem

As equações de Navier-Stokes descrevem o fluxo de fluidos e ajudam engenheiros a modelar fenômenos como o fluxo de ar ao redor de aviões. O famoso problema matemático questiona se essas equações podem implicar que, em certas condições, um fluido se desorganize de repente de forma infinita.

A OpenAI afirma que seus agentes de IA resolveram o enigma. Segundo a reportagem da Wired, o resultado não ajudará a projetar asas de avião melhores. A matéria cita matemáticos que veem a abordagem de força bruta como uma possível ameaça à compreensão humana das ideias por trás de uma prova.

## Os fatos

- As equações de Navier-Stokes foram desenvolvidas no século 19 para descrever o fluxo de fluidos.
- A OpenAI afirmou ter usado milhares de agentes de IA para resolver o problema.

## Por que importa

A IA está avançando na pesquisa matemática e levantando dúvidas sobre se produzir uma prova é suficiente quando as pessoas não conseguem acompanhar como ela foi encontrada.

## Fontes e referências

1. [Solving Math’s Greatest Problems Was an Art Form. Then Came AI](https://www.wired.com/story/solving-maths-greatest-problems-was-an-art-form-until-ai/) – Wired, 2026-09-28

Última atualização: 2026-09-28