RT @dotey : Il s’est passé quelque chose de très intéressant récemment dans la communauté mathématique. Lorsque le mathématicien de renommée mondiale Terence Tao résolvait un problème classique d'Erdős, il a utilisé l'IA comme assistant tout au long du processus, de la rédaction de la preuve à sa simplification, puis à la vérification formelle. Erdős…
