Les intelligences artificielles seront-elles un jour capables de produire des théorèmes aussi intéressants que ceux des mathématiciens humains ? On en est encore loin, mais les choses avancent peu à peu.