OpenAI diz ter resolvido problema matemático de décadas com milhares de agentes

A OpenAI diz ter encontrado uma prova para o problema da existência e regularidade de Navier–Stokes, um dos grandes desafios da matemática, usando milhares de agentes de inteligência artificial. O problema envolve equações criadas para descrever o fluxo de fluidos e questiona se elas podem implicar uma explosão do fluido em condições irreais. Embora essas equações tenham aplicações na engenharia, a solução do quebra-cabeça não ajudaria diretamente a projetar uma asa de avião mais aerodinâmica.

Segundo matemáticos ouvidos pela Wired, a matemática costuma envolver exploração criativa e deliberada, mais próxima da arte do que da busca pela resposta mais rápida. Eles dizem que a abordagem de força bruta da OpenAI encurta esse processo e pode enfraquecer a compreensão humana, ainda que a solução possa gerar novas ideias matemáticas.