Quarante-cinq ans de réflexion humaine balayés en quelques jours : une IA vient de s’attaquer à l’un des mystères laissés ouverts par Paul Erdős. On n’arrête plus le progrès, et l’intelligence artificielle vient encore de le démontrer. En 1980 paraissait le livre scientifique Old and New Problems and Results in Combinatorial Number Theory de Paul Erdos et Ronald Graham. Ensemble, ils se sont intéressés aux produits de coefficient binomiaux centraux, représentés par une longue formule mathématique incompréhensible. Les questions que se posaient les scientifiques étaient les suivantes : Les coefficients binomiaux centraux sont-ils un phénomène rarissime ? Ou peuvent-ils se produire à l’infini quand on explore tous les entiers ? Ces deux problèmes se sont présentés à eux, sans qu’ils ne parviennent jamais à les démontrer. 45 ans plus tard, une IA y est parvenu. L’entrepreneur et ingénieur logiciel Neel Somani a confronté GPT-5.2 Pro à ces problèmes. Le modèle d’IA a alors proposé une stratégie globale, puis a exploré de nombreuses pistes avant de construire une démonstration structurée expliquant le problème via des contre-exemples. Le résultat est sans appel : il existe une infinité de coïncidences, la conjecture est donc réfutée. Si cette découverte marque une réelle avancée dans le développement de l’IA, c’est notamment car elle a pu être validée par un mathématicien de renom, l’un des plus respectés au monde, Terence Tao. Par la suite, GPT-5.2 Pro et Aristotle seraient parvenus à résoudre d’autres problèmes d’Erdos en seulement quelques jours, là où l’humain lambda aurait mis plusieurs mois, voire plusieurs années.