Une IA d’OpenAI résout un problème de maths qui résistait depuis 80 ans
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 solution.
