Ceci est un billet qui contient deux annonces non liées. D'abord, je voudrais promouvoir une liste utile de ressources pour l'IA en mathématiques, qui a été initiée par Talia Ringer (avec l'aide collaborative de nombreux autres) pendant le workshop de l'Académie nationale sur "L'IA dans le raisonnement mathématique" l'année dernière. Cette liste accepte maintenant de nouvelles contributions, des mises à jour ou des […]