OpenAI affirme avoir résolu Navier-Stokes, mais l’origine de la preuve embarrasse déjà
Une intelligence artificielle aurait franchi l’un des obstacles les plus redoutés des mathématiques modernes. Mais l’annonce d’OpenAI, le 8 septembre 2026, est déjà rattrapée par une question au moins aussi délicate que l’équation elle-même : qui peut revendiquer la découverte lorsqu’une machine produit la preuve et...