Paul Erdos
Mathématicien hongrois qui a laissé un célèbre catalogue de problèmes non résolus, aujourd'hui très prisé pour tester l'IA.
Paul Erdos, mort en 1996, fut l’un des mathématiciens les plus prolifiques de l’histoire. Il publia avec des centaines de collaborateurs et voyageait de l’un à l’autre en ne possédant presque rien. Il reste aussi célèbre pour les problèmes qu’il a posés que pour ceux qu’il a résolus, et assortissait nombre d’entre eux de petites récompenses qu’il payait lui-même.
Ces problèmes ouverts sont aujourd’hui répertoriés en ligne, chacun avec un énoncé précis et une solution vérifiable indépendamment. Ils constituent donc un banc d’essai presque idéal pour les systèmes d’IA. Voilà pourquoi, tous les quelques mois, un modèle résout un nouveau problème d’Erdos et fait l’actualité.