Un modèle d’OpenAI a réfuté une conjecture de géométrie posée par Paul Erdős en 1946, et que personne n’avait fait bouger depuis. Plus surprenant : ce n’est pas une IA dédiée aux maths qui a trouvé la ...

Les mathématiques ne sont pas la matière préférée de tous les élèves, c’est le moins qu’on puisse dire. En effet, pour nombre de gens, la perspective de devoir résoudre un problème de maths peut ...