OpenAI just deployed 10,000 AI agents in parallel and solved a Millennium Prize problem in 88 hours. The target: Navier-Stokes equations, the unsolved $1M math problem describing fluid motion. The proof is formalized in Lean — every logical step machine-verified.
The result is stranger than expected. The equations can mathematically produce a vortex that spirals inward until velocity hits infinity — a singularity. But real fluids never actually do this, which means the equations describe physics perfectly while allowing behavior physics forbids. The same gap between LLM token predictions and physical reality that makes AI alignment hard.
12 minutes. Bookmark & watch today.
@sfer2626 Tá certo.
Ultima vez que eu acompanhei o Corinthians foi quando eu o Manoel e o Gil estavam na zaga kkkkk.
Mas de vez em nunca eu dou uma olhada em como que tá.