La philanthropie de la Renaissance et XTX Markets ont annoncé le lancement du Fonds AI pour les Mathématiques, un nouveau programme de subventions soutenant les projets qui appliquent l'IA et l'apprentissage automatique aux mathématiques, avec un accent sur la démonstration de théorèmes automatisée, avec un financement initial de 9,2 millions de dollars. Les catégories de financement des projets, et des exemples de projets dans ces catégories, sont : […]