A OpenAI acabou de colocar uma afirmação séria na mesa.
A sua mais recente pesquisa em IA envolveu aproximadamente 10.000 agentes trabalhando juntos para resolver o problema de Navier–Stokes, um dos famosos desafios não resolvidos da matemática.
Em vez de um único modelo atacar o problema a partir de uma única direção, o sistema explorou muitas abordagens em paralelo. A OpenAI afirma que um problema anterior, mais simples, de Euler ajudou os agentes a desenvolver ideias que foram depois aplicadas ao Navier–Stokes.
A descoberta teria ocorrido após cerca de 88 horas.
O resultado proposto aponta para um cenário em que um vórtice continua concentrando e se alongando até que uma singularidade se forme em tempo finito, mesmo quando a energia total permanece finita.
Então, a OpenAI traduziu o argumento para o Lean para que a prova pudesse ser verificada mecanicamente.
Essa parte importa. Um argumento espetacular gerado por IA é uma coisa. Uma prova formalmente verificada é outra.
Ainda assim, há uma ressalva importante: o resultado da OpenAI ainda não se tornou uma solução aceita pela comunidade matemática.
O problema tem um Prêmio Millennium de US$ 1M, mas a OpenAI diz que não pretende reivindicá-lo.
Além disso, o valor de ~US$ 15M que circula na internet é uma estimativa externa de custos de tokens, não um número oficial da OpenAI. E não há evidência de que $WLD tenha sido usado para pagá-lo.
$SUI $4Stock
A sua mais recente pesquisa em IA envolveu aproximadamente 10.000 agentes trabalhando juntos para resolver o problema de Navier–Stokes, um dos famosos desafios não resolvidos da matemática.
Em vez de um único modelo atacar o problema a partir de uma única direção, o sistema explorou muitas abordagens em paralelo. A OpenAI afirma que um problema anterior, mais simples, de Euler ajudou os agentes a desenvolver ideias que foram depois aplicadas ao Navier–Stokes.
A descoberta teria ocorrido após cerca de 88 horas.
O resultado proposto aponta para um cenário em que um vórtice continua concentrando e se alongando até que uma singularidade se forme em tempo finito, mesmo quando a energia total permanece finita.
Então, a OpenAI traduziu o argumento para o Lean para que a prova pudesse ser verificada mecanicamente.
Essa parte importa. Um argumento espetacular gerado por IA é uma coisa. Uma prova formalmente verificada é outra.
Ainda assim, há uma ressalva importante: o resultado da OpenAI ainda não se tornou uma solução aceita pela comunidade matemática.
O problema tem um Prêmio Millennium de US$ 1M, mas a OpenAI diz que não pretende reivindicá-lo.
Além disso, o valor de ~US$ 15M que circula na internet é uma estimativa externa de custos de tokens, não um número oficial da OpenAI. E não há evidência de que $WLD tenha sido usado para pagá-lo.
$SUI $4Stock
