OpenAI consacre 5 millions de dollars pour aider les mathématiciens à comprendre les preuves récentes générées par l’IA
La Simons Foundation lance une initiative de 15 millions de dollars, notamment financée par OpenAI, pour aider les mathématiciens à évaluer les résultats récents de l’IA et à élaborer des normes pour son utilisation en mathématiques.
OpenAI consacre 5 millions de dollars pour aider les mathématiciens à comprendre les preuves mathématiques récentes produites par des modèles d’IA.
La Simons Foundation, qui avait auparavant soutenu le projet Lean, lance une initiative pour aider les mathématiciens à comprendre et à évaluer les résultats récents obtenus grâce à l’IA, à maîtriser de nouveaux outils et à élaborer des normes communes pour l’utilisation de l’IA en mathématiques.
Le budget total de l’initiative s’élève à 15 millions de dollars. OpenAI consacre 5 millions de dollars, tandis qu’Anthropic devrait également financer une partie de l’effort. Les deux entreprises fournissent aux chercheurs des outils et des ressources de calcul. Les fonds seront principalement destinés à l’organisation de conférences, d’ateliers et au financement de la recherche.
Pourquoi c'est important
AnalyseC’est important car l’IA produit déjà des résultats mathématiques complexes. Des normes et des outils communs peuvent déterminer la manière dont la science vérifiera et acceptera ces preuves.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs