Observatoire des droits humains (anglais seulement)

AI could transform mathematics, but humans will still need to be in the loop

(Version anglaise seulement)

par Carolin Antos, Assistant Professor of Philosophy, University of Konstanz
Balthasar Grabmayr, Assistant Professor of Philosophy, University of Tübingen

OpenAI recently announced that one of its AI models solved one of the hardest problems in modern mathematics: the Navier–Stokes problem. The equations at the heart of this problem describe the movement of fluids like water and, according to the scientific definition, air.

The Navier-Stokes equations are essential to understanding phenomena such as ocean currents, blood circulation, and airflow over airplane wings. Yet, mathematicians have struggled for decades to determine whether coherent solutions to…

Lire l'article complet