Et si l’intelligence artificielle, après avoir inondé le web de contenus médiocres, s’attaquait maintenant aux mathématiques elles-mêmes ? Chaque semaine, de nouveaux résultats spectaculaires sont annoncés. Des manuscrits circulent, des solutions à des problèmes ouverts apparaissent, et pourtant un doute sourd persiste : comment être sûr que ces preuves tiennent vraiment debout ? C’est précisément […]