Résumé en une phrase
Les derniers quinze jours ont été bouleversants dans le monde de la théorie des nombres : un record sur les intervalles entre les nombres premiers, qui n'avait pas été battu depuis 10 ans, a été brisé en quelques jours par de l'IA, qui a progressé de trois niveaux consécutifs, passant de 246 à 240, puis à 212, et enfin à 186. Il s'agit non seulement d'une démonstration de la puissance de l'IA, mais aussi d'une réactualisation d'un problème mathématique qui préoccupe les scientifiques depuis des siècles et qui semble simple à comprendre pour un élève du primaire, mais qui reste insoluble pour les plus grands mathématiciens. Nous utilisons des méthodes de tri développées il y a plus de deux mille ans pour prouver qu'il existe un nombre infini de paires de nombres premiers dont l'intervalle ne dépasse pas 186, mais nous ne parvenons toujours pas à surmonter cette dernière barrière de 2, et la raison de cet échec réside dans les limites inhérentes aux outils mathématiques actuels. Plus intéressant encore, ce problème purement mathématique a déjà coûté 475 millions de dollars à Intel et a été utilisé par Google comme sujet de plaisanterie lors d'enchères.
---
Explication détaillée
1. L'IA n'a pas prouvé la conjecture des nombres premiers jumeaux
Beaucoup ont pensé que l'IA avait résolu un problème mathématique vieux de cent ans, mais c'est une erreur. En 2014, les mathématiciens avaient fixé le record à 246 et, pendant 10 ans, personne n'a réussi à le battre, ce qui laissait penser que les outils mathématiques étaient à leur limite. C'est seulement en août de cette année que la jeune mathématicienne autrichienne Julia Stadlmann a amélioré les paramètres de la méthode de tri, permettant de porter le record à 240. Dès lors, plusieurs entreprises d'IA se sont emparées du sujet : la start-up Axiom a utilisé une approche hybride d'essais-erreurs et d'optimisation pour atteindre 212, tandis que OpenAI a annoncé le résultat de 186 sans se référer à la thèse de Julia, prétendant que l'IA avait trouvé la solution par elle-même. Cependant, cette avancée ne concerne pas le cœur du problème mathématique ; elle représente plutôt l'utilisation de la puissance de calcul de l'IA pour résoudre les 1 % restants d'un problème qui aurait pris des années à résoudre manuellement.
2. Les nombres premiers jumeaux, un problème apparemment simple, ont déjà causé de gros ennuis aux géants industriels
Les nombres premiers jumeaux sont des nombres premiers dont l'écart est de 2 (par exemple, 3 et 5). Bien que ce soit simple à comprendre, ils ont déjà entraîné de graves conséquences pour les entreprises :
- En 1994, le mathématicien américain Nicely a découvert un bug dans les unités de calcul à virgule flottante des processeurs Intel, entraînant des erreurs dans le calcul de la somme des inverses des nombres premiers jumeaux. Intel a dû rappeler tous ces processeurs, ce qui lui a coûté 475 millions de dollars, près d'un dixième de son bénéfice annuel.
- En 2009, la faillite de Nortel a conduit à l'enchère de 6000 brevets clés dans le domaine des communications. Google a proposé 190 216 0540 dollars pour ces brevets, un chiffre correspondant aux six premiers chiffres de la constante de Brun. Bien qu'il n'ait pas remporté l'enchère, les médias ont largement rapporté l'incident, apportant une grosse visibilité à Google.
3. La méthode de tri n'est plus une simple liste de nombres à éliminer
La méthode de tri, inventée il y a deux mille ans par Ératosthène, consiste à éliminer les multiples de 2 et de 3 pour trouver les nombres premiers. Cependant, elle a évolué pour devenir un outil statistique puissant. Aujourd'hui, elle prend en compte des données plus complexes et se concentre sur les zones où les nombres premiers sont les plus probables. Les améliorations telles que la méthode GPY et la méthode de Meindler-Tao permettent d'optimiser l'utilisation des ressources de calcul.
4. La barrière de 186 ne peut pas être franchie simplement en ajustant les paramètres
Bien que nous ayons atteint 186, nous ne pourrons probablement pas atteindre 2 simplement en continuant à optimiser les paramètres. Le problème réside dans une « zone aveugle » des mathématiques, appelée « obstacle parité ». La méthode de tri ne peut pas distinguer entre les nombres premiers véritables (à un seul facteur premier) et les nombres premiers résultant du produit de deux grands nombres premiers. Pour résoudre complètement la conjecture des nombres premiers jumeaux, nous aurons besoin de nouveaux outils mathématiques.
5. L'IA réécrit les règles du jeu dans les mathématiques
Le mathématicien Tao Zhixuan a souligné l'importance de la publication précoce des résultats par les scientifiques : si OpenAI avait annoncé le résultat de 186 sans la thèse de Julia, les mathématiciens n'auraient pas pu comprendre la méthode utilisée. À l'avenir, l'IA pourrait devenir si puissante que les humains ne pourraient plus comprendre les dérives mathématiques. Cela changerait la nature même de la recherche mathématique, qui passerait d'un processus de compréhension des lois de l'univers à une simple fourniture de résultats par l'IA.
En résumé, l'incident montre l'évolution rapide des technologies et des méthodes mathématiques, mais aussi les défis persistants dans la résolution de problèmes fondamentaux.