OpenAI annuncia di aver dimostrato una singolaritĂ nelle equazioni di Navier-Stokes con 10.000 agenti e verifica in Lean. Ma il premio del Millennium Prize resta lontano tra limiti teorici e una feroce disputa con i ricercatori di Harvard e Anthropic.
