AI proof to Navier-Stokes by the end of the year?

One of the things that took place in yesterday’s social media for me was the discussion around a 10,000$ bet between two DeepMind engineers, Marcus Hutter and David Budden (who left DeepMind to work on proving math stuff with LLMs). David bets that he can solve the famous Navier-Stokes existence and smoothness question, a Millennium Prize problem, by the end of the year. Read more...