Stokes Millennium Prize Problem

OpenAI announced that its internal artificial intelligence model produced a Lean-verified proof solving the Navier–Stokes existence and smoothness problem, a legendary…