OpenAI Spent Millions and 10,000 AI Agents to Beat a Mathematician to His Own Proof
中文摘要
OpenAI投入数百万美元及万名AI智能体，在数学家之前证明了纳维-斯托克斯发散问题。
English Summary
OpenAI used millions of dollars and 10,000 AI agents to prove a Navier-Stokes blowup, beating a mathematician to the discovery.
Original Excerpt
OpenAI says an internal model proved a Navier-Stokes blowup. The Clay Institute, Terence Tao, and the mathematician it raced are not… Continue reading on Artificial Intelligence in Plain English »