OpenAI May Be Making History in Math
A OpenAI acaba de anunciar que uma inteligência artificial pode ter resolvido um dos sete Problemas do Milênio – alguns dos problemas matemáticos mais difíceis ainda em aberto. Se a demonstração resistir ao escrutínio da comunidade matemática, este será apenas o segundo problema resolvido desde que a lista foi criada em 2000 – e o […] The post A OpenAI pode estar fazendo história na matemática…
OpenAI has announced that an artificial intelligence may have solved one of the seven Millennium Prize Problems, a set of difficult mathematical problems. The problem involves the Navier-Stokes equations, which describe fluid motion, and whether they can produce a singularity, or a point where fluid velocity grows without limit in a finite time.
According to OpenAI, the AI system found a configuration where a fluid develops a increasingly fine and fast vortex, causing velocity to diverge. The solution was found using around 10,000 AI agents working in parallel, sharing results, and was formalized and verified using the Lean language.
Written by urgent.news from Brazil Journal's report — not a translation of it. Machine-written — may contain errors; check the original before relying on it.