Contexte et objectifs du programme
Le 15 octobre 2023, la Simons Foundation a annoncé un financement cumulé de 15 millions de dollars en partenariat avec Anthropic et OpenAI. Le dispositif prévoit une appel ouvert aux propositions afin de financer des ateliers, des projets pilotes et des initiatives visant à aider les mathématiciens à évaluer les résultats générés par l’intelligence artificielle, à maîtriser de nouveaux outils et à définir des standards collectifs d’usage.
Le président David Spergel a souligné que l’IA « reforme rapidement le paysage de la recherche », justifiant la création d’un cadre communautaire où les chercheurs, et non les fournisseurs de technologie, pilotent les discussions sur l’adoption des outils.
Architecture des ressources et outils fournis
Anthropic et OpenAI mettront à disposition leurs modèles de langage avancés ainsi que des capacités de calcul dédiées. Ces ressources seront allouées aux équipes sélectionnées via la Simons Foundation, qui assurera la gestion administrative et le suivi des livrables. Le programme s’appuie également sur le Lean proof assistant, développé grâce à un financement antérieur de la fondation, comme plateforme d’expérimentation pour les preuves assistées par IA.
Lean permet d’intégrer des modèles de génération de texte dans un environnement de vérification formelle : le modèle propose des fragments de preuve, qui sont ensuite soumis à un vérificateur de type-checker. Cette architecture sépare la génération probabiliste (soumise aux limites de cohérence du modèle) de la validation déterministe (garantie par le système de preuve).
Analyse des impacts sur la recherche mathématique
Le financement cible explicitement l’évaluation critique des résultats produits par les modèles. En pratique, les projets devront mettre en place des protocoles de comparaison entre preuves générées automatiquement et démonstrations traditionnelles, afin de quantifier le taux de succès et les types d’erreurs récurrents. Cette démarche crée une base de données empirique qui pourra alimenter des améliorations itératives des modèles.
En outre, la mise à disposition d’outils de calcul à grande échelle réduit le coût d’accès aux modèles de plusieurs milliards de paramètres, ce qui pourrait accélérer la découverte de nouvelles conjectures ou la vérification de preuves complexes. Toutefois, la dépendance à des services propriétaires introduit un risque de verrouillage technologique et nécessite des mécanismes de transparence pour garantir la reproductibilité des résultats.
Perspectives et limites du dispositif
Le caractère « community‑driven » du programme implique que les critères de sélection et les standards émergents seront définis par les mathématiciens eux‑mêmes, sous la supervision de la fondation. Cette gouvernance vise à limiter l’influence d’acteurs commerciaux, mais la pérennité du financement reste liée à la capacité de la Simons Foundation à renouveler les appels de fonds.
Enfin, l’accent mis sur des outils propriétaires laisse ouverte la question de l’intégration d’alternatives open‑source, qui pourraient offrir une plus grande flexibilité à long terme. Le succès du programme dépendra donc de l’équilibre entre accès aux performances des modèles de pointe et exigences de transparence et de vérifiabilité propres à la recherche mathématique.
