Navier-Stokes OpenAI: cosa dice la prova dei diecimila agenti con Lean, i limiti teorici del Millennium Prize e la disputa con i ricercatori di Harvard

OpenAI will mit KI ein schwieriges mathematisches Problem gelöst haben. Die Ankündigung wird von einem Streit über die Entstehung des Beweises begleitet.

OpenAI ha annunciato che un’intelligenza artificiale avrebbe risolto uno dei sette “Problemi del Millennio” del Clay Mathematics Institute, quelli per cui è in palio un milione di…