En 1997, Garry Kasparov perdait son match contre le supercalculateur Deep Blue, marquant la première défaite d’un champion du monde d’échecs face à une machine. Trente ans plus tard, c’est un nouveau coup de tonnerre, plus spectaculaire encore, qui vient de frapper dans le monde de l'informatique : l’entreprise OpenAI a annoncé mardi que son dernier modèle d’intelligence artificielle, pas encore commercialisé, venait de résoudre un des sept «problèmes du millénaire» de mathématiques. Depuis que cette liste a été établie par l’Institut Clay en 2000, seul un de ces problèmes réputés «insurmontables» avait été résolu - la conjecture de Poincaré par le mathématicien russe Grigori Perelman, en 2002. Autrement dit, l’intelligence artificielle n’est pas simplement devenue extrêmement forte en maths : elle a surpassé l’être humain, au moins symboliquement.