Des logiciels capables de vérifier des démonstrations très difficiles, des intelligences artificielles en mesure de formuler des conjectures... Des performances vertigineuses qui amènent les mathématiciens à s'interroger sur la place de l'humain dans leur discipline.