Simons, OpenAI et Anthropic lancent 15 M$ pour l'IA en maths
La Fondation Simons a annoncé une série d'initiatives pour aider la communauté mathématique à s'adapter à la montée rapide de l'intelligence artificielle. Le programme est soutenu par un partenariat avec Anthropic et OpenAI, qui engagent au total 15 millions de dollars sous forme de financements et de ressources. La Fondation Simons pilotera le dispositif et attribuera les aides, notamment via un appel à projets ouvert. Les fonds financeront des ateliers et des projets destinés à évaluer les résultats obtenus avec l'aide de l'IA, à former les chercheurs aux nouveaux outils, à partager les bonnes pratiques et à définir des standards collectifs pour leur usage. Selon David Spergel, président de la Fondation Simons, l'objectif est d'aider les mathématiciens à penser l'avenir de leur discipline ensemble, plutôt que de laisser des entreprises ou des institutions isolées fixer seules les règles. Anthropic et OpenAI fourniront également des outils d'IA et des ressources informatiques aux chercheurs soutenus par la Fondation Simons. Cet accompagnement ira au-delà des mathématiques et concernera aussi les sciences fondamentales. Le programme se veut porté par la communauté scientifique et s'appuie sur l'engagement historique de la Fondation en faveur de la recherche en mathématiques. L'organisation rappelle avoir été l'un des premiers soutiens de l'apprentissage automatique appliqué à la science, en finançant notamment le développement de l'assistant de preuve Lean. Cet outil a transformé les méthodes de travail des mathématiciens et a ouvert la voie aux preuves assistées par l'IA. La Fondation Simons a également organisé des ateliers, des conférences et des collaborations pour accompagner les discussions sur le rôle croissant de l'intelligence artificielle dans la recherche.
