Cryptocurrency Prices by Coinlib
OpenAI Says It Solved a $1M Math Drawback. A Rival Mathematician Says He Did It First – Decrypt

Briefly OpenAI stated Tuesday its inner AI mannequin produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” utilizing 10,000 coordinating AI brokers over 88 hours. Hours earlier, NYU mathematician Tristan Buckmaster accused OpenAI’s Sébastien Bubeck of studying…
