L’IA vient de claquer une performance qui fout la pression à tous les chercheurs en maths. Un truc sur lequel les humains séchaient depuis un demi-siècle – et toc, une IA le déchire en quelques heures de calcul. Les matheux, perplexes, crient au « plus grand bond en avant jamais vu dans le domaine ». Même leur langage, habituellement tempéré, lâche des superlatifs à tout-va.
Soyons honnêtes, on savait que l’IA savait faire des maths. Mais là, c’est une autre paire de manches. Ce n’est pas juste du calcul ou de la reconnaissance de patterns habituels. C’est de la démonstration, du vrai raisonnement formel, une piste que l’intuition humaine n’avait même pas envisagée.
Les réactions ? Entre la stupéfaction et une légère panique existentielle. « Si les machines peuvent trouver des solutions là où on a échoué pendant cinquante ans, qu’est-ce qui nous reste ? » – c’est la question que tout mathématicien se pose en ce moment. Et c’est une question légitime.
Mais faut pas non plus s’emballer comme un gamin devant un nouveau jouet. Ce succès spectaculaire ne signifie pas que les humains vont devenir obsolètes. Ça signifie que l’IA devient un putain de bon outil pour explorer des recoins que nos neurones fatigués n’atteignent pas. Un peu comme quand on a inventé le microscope : on voyait plus loin, mais c’était toujours nous qui interprétions.
Ce n’est pas la fin des mathématiciens, c’est le début des mathématiciens augmentés. Ceux qui sauront piloter ces machines pour aller encore plus loin. Les autres n’auront qu’à apprendre à coder des prompts ou à devenir prof de yoga.
Sources :
Comments are closed