Quand les machines font des mathématiques,

dans Pour la science, n°520, avril 2020, pp. 72-77