La Fondation Simons a annoncé une nouvelle série d'initiatives visant à aider la communauté mathématique à faire face à l'essor rapide de l'intelligence artificielle dans ce domaine, soutenues par un financement et des ressources combinés de 15 millions de dollars de la fondation, d'Anthropic et d'OpenAI.

La fondation gérera et attribuera le financement, notamment par le biais d'un appel à propositions ouvert, pour soutenir des ateliers et des initiatives qui aident les chercheurs à évaluer les récents résultats assistés par l'IA, à apprendre et à utiliser de nouveaux outils, à partager des perspectives et à façonner des normes collectives sur la manière dont l'IA est utilisée dans la recherche mathématique. Pour plus de contexte sur cette histoire, consultez notre tendances IA.

Outils et calcul au-delà des mathématiques

Au-delà du financement, Anthropic et OpenAI fourniront des outils d'IA et des ressources informatiques aux chercheurs soutenus par la Fondation Simons. Selon l'annonce de la fondation, ce soutien s'étend au-delà des mathématiques pour inclure plus largement les sciences fondamentales – un canal inhabituellement direct entre les laboratoires d'IA de pointe et les chercheurs universitaires en activité.

L'accord se distingue par sa structure : plutôt que les laboratoires fixent l'ordre du jour, la fondation contrôle la manière dont l'argent est attribué, et la presse souligne que les récompenses et les ressources seront pilotées par la communauté.

Pourquoi les mathématiques sont en première ligne

Les mathématiques sont devenues l’un des terrains d’essai les plus importants pour l’IA en science. La Fondation Simons a été l’un des premiers à soutenir l’apprentissage automatique pour la science, notamment en finançant le développement de l’assistant de preuve Lean, qui a remodelé la façon dont les mathématiciens formalisent le travail et a rendu possible les preuves assistées par l’IA. Alors que les systèmes d’IA contribuent de plus en plus à la découverte mathématique, la communauté est confrontée à un problème pratique : comment vérifier, évaluer et faire confiance aux résultats produits avec une assistance machine substantielle.

Ce problème de vérification est au cœur du financement de la nouvelle initiative. Les ateliers et initiatives visant à « évaluer les résultats récents assistés par l'IA » reconnaissent que le processus traditionnel d'examen par les pairs n'a pas été conçu pour les preuves rédigées avec, ou dans certains cas, produites en grande partie par des systèmes d'IA.

Le cadrage de la Fondation : la communauté d'abord

Le président de la Fondation Simons, David Spergel, a présenté cet effort comme un moment de prise de décision collective. "Alors que l'intelligence artificielle remodèle rapidement le paysage de la recherche, nous voulons aider la communauté mathématique à se rassembler et à tracer la meilleure voie à suivre", a déclaré Spergel dans le communiqué. "Le moment est venu de considérer les mathématiques dans leur ensemble, non pas comme un ensemble de preuves et de théorèmes, mais comme une compréhension collective motivée par la curiosité humaine."

Spergel a été explicite quant à savoir qui devrait fixer les conditions de l'adoption. "C'est la communauté qui devrait diriger les discussions sur la manière dont ces outils sont évalués, adoptés et utilisés, et non une entreprise ou une institution en particulier", a-t-il déclaré. "Le but du programme est de soutenir la communauté mathématique."

La déclaration se lit comme un contraste délibéré avec une dynamique familière à l’adoption de l’IA : des institutions individuelles négociant des accords séparés avec des fournisseurs de modèles, avec des normes fixées par le laboratoire ou l’université qui se déplace en premier. En acheminant le financement via un appel ouvert et en mettant l’accent sur les normes collectives, la fondation tente d’établir un point de coordination pour une discipline dont les résultats – les preuves – sont inhabituellement vérifiables, et donc inhabituellement exposés aux raccourcis assistés par l’IA.

Un modèle pour d'autres domaines

L’initiative peut servir de modèle au-delà des mathématiques. Les domaines des sciences fondamentales sont confrontés à la même question sous-jacente – comment absorber les outils d’IA sans céder les normes aux fournisseurs de ces outils – et la structure de la Fondation Simons, dans laquelle une philanthropie neutre gère les ressources données par des sociétés d’IA concurrentes, est l’une des premières tentatives de réponse.

L'histoire de la fondation lui a donné la crédibilité nécessaire pour jouer ce rôle : au-delà du financement initial de l'assistant de preuve Lean, elle a organisé des ateliers, des conférences et des collaborations explorant le rôle de l'IA en mathématiques. Le nouvel engagement de 15 millions de dollars formalise cette mobilisation du pouvoir dans un programme financé au moment précis où les résultats assistés par l'IA arrivent plus rapidement que les normes de la communauté ne peuvent les absorber.

---

Restez à la Pointe de l'IA

Les dernières actualités, analyses et percées en IA — au même endroit.

Lire plus d'actualités IA →