OpenAI usa milhares de agentes para resolver problema de Navier-Stokes
A OpenAI afirmou ter resolvido o problema de existência e suavidade das equações de Navier-Stokes, uma questão debatida por décadas na matemática, usando milhares de agentes. O resultado foi apresentado como uma prova, mas especialistas ainda estão avaliando a validade e a forma como a solução foi obtida.
Matemáticos apontam que provas feitas por sistemas de IA podem ser difíceis de entender e verificar, já que modelos de linguagem não citam fontes de forma confiável e não explicam claramente os passos. Enquanto a prova de 166 páginas segue em revisão por pares, pesquisadores também criticam a falta de transparência e a possibilidade de uso de trabalhos sem atribuição, além de haver uma declaração com alerta sobre o impacto de “mass-produzir” provas na área.
Wired
O texto acima é um resumo reescrito. A apuração, o texto integral e os créditos são da fonte — abra o original para ler na íntegra.
Ler matéria original ↗Resumo gerado por IA a partir da matéria original e revisto pelo método descrito em como funciona a curadoria. Em caso de divergência, vale o texto da fonte. Achou um erro? Fale com a gente.