Pró-governo diz que IA da OpenAI venceu desafio milionário, mas validação e autoria geram disputa

Pró-governo diz que IA da OpenAI venceu desafio milionário, mas validação e autoria geram disputa
A OpenAI afirma que um modelo ainda não oferecido ao público precisou de apenas 88 horas para resolver o problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Milênio. A empresa apresentou uma demonstração na linguagem Lean, permitindo que especialistas externos examinem o raciocínio produzido pela IA.

Para Sébastien Bubeck, pesquisador da companhia, o resultado é “o desfecho espetacular da trajetória que vimos ao longo dos últimos 12 meses”. A operação teria reunido até 10 mil agentes de IA, enquanto pesquisadores humanos transferiam ideias entre as equipes — papel comparado por Dan Roberts ao de “uma abelha fazendo a polinização cruzada”.

O entusiasmo, porém, encontra resistência. Terence Tao, professor da UCLA, teme que máquinas capazes de atacar os problemas mais difíceis com pouca participação humana enfraqueçam a compreensão matemática. Segundo ele, o esforço de resolver uma questão também ensina: deixar tudo para a IA seria como ter “máquinas que levantam os pesos por você na academia”.

Há ainda uma tensão sobre prioridade e autoria. Na véspera do anúncio, Tristan Buckmaster, da Universidade de Nova York, revelou que explorava linha semelhante com um matemático ligado à Anthropic. A OpenAI reconheceu que concentrou recursos no tema após saber dessa pesquisa, mas sustentou que “não teve acesso a nenhum trabalho deles por nenhum meio”.

As posições convergem num ponto: uma prova verificável em Lean facilita a análise independente. Divergem, contudo, sobre o significado do avanço. Para a OpenAI, trata-se de uma demonstração da capacidade científica de sistemas coordenados; para Tao, encontrar um caminho não substitui o valor de explorá-lo. Antes de qualquer prêmio de US$ 1 milhão, a alegação ainda terá de atravessar o escrutínio da comunidade matemática.

https://resumosbrasil.com/stories/01a085ec-e082-2d1c-733b-050abb2c6322