Les mathématiques regorgent de problèmes qui donnent envie de reposer son crayon pour aller prendre un café (ou une aspirine). L’un d’eux, posé il y a plusieurs décennies par le célèbre mathématicien Paul Erdős, vient pourtant d’être résolu… par une IA.
