La conjecture de Riemann, c’est le boss de fin des maths. 150 ans que les plus grands s’y cassent les dents, un million de dollars à la clé pour qui la démontrera. Et voilà qu’un modèle d’Anthropic, pas même encore publié, vient de lui mettre un coup de dent. Pas la tuer, non. La faire bouger.
TechCrunch rapporte qu’un modèle Anthropic pas encore sorti a fait des progrès sur l’hypothèse de Riemann. Pas la résoudre, non. Juste s’en rapprocher. Un pas de plus dans le labyrinthe. Les détails techniques manquent, mais l’info suffit à faire trembler les puristes.
Rappel pour les non-initiés : l’hypothèse de Riemann, c’est le Graal des maths. Elle parle de la distribution des nombres premiers, elle a des implications partout, et personne n’a réussi à la démontrer depuis 1859. Le Clay Institute a promis un million de dollars à qui y arriverait. Et voilà qu’un LLM s’y frotte.
The Verge, lui, a interrogé James Maynard. Médaillé Fields, professeur à Oxford. Et le monsieur avoue avoir passé l’année à faire son examen de conscience. Sa discipline, la plus lente des sciences, doit s’adapter à l’IA. Et il n’est pas sûr d’avoir envie.
On peut comprendre. Quand ton métier consiste à passer des mois sur une démonstration qu’une machine pourrait, peut-être, un jour, générer en quelques heures, ça fait réfléchir. Mais il y a peu de raisons de flipper.
Parce que l’IA en maths, ce n’est pas juste de la vitesse. C’est peut-être une nouvelle façon de conjecturer. De trouver des pistes. De dire « regardez, cette formule pourrait marcher ». C’est un outil de plus, pas un remplaçant. Même si, on te l’accorde, c’est un outil qui a la fâcheuse tendance à monter sur les tables.
Le Verge titre « l’IA a pris le contrôle des maths ». C’est un peu tôt, non ? Un modèle qui fait des progrès sur un problème ouvert, c’est déjà énorme. Mais de là à parler de prise de contrôle… On est peut-être en train de regarder la première étape d’une longue marche. Ou peut-être pas.
Ce qui est sûr, c’est que les matheux vont devoir apprendre à travailler avec ces trucs. Et les modèles, eux, n’ont pas encore de bouton « humilité ».
En attendant, si tu croises un médaillé Fields en train de regarder dans le vide, ne le dérange pas. Il est peut-être en train de se demander si son prochain théorème portera sa signature ou celle d’une API.
Sources :
Comments are closed