U.S. National Science Foundation
Le programme Intelligence artificielle, méthodes formelles et raisonnement mathématique (AIMing) cherche à soutenir la recherche à la frontière entre les technologies innovantes de calcul et d'intelligence artificielle (IA) et les nouvelles stratégies et technologies de raisonnement mathématique visant à automatiser la découverte de connaissances.
Le raisonnement mathématique est une capacité centrale de l'intelligence humaine qui joue un rôle important dans la découverte de connaissances. Au cours des dernières décennies, les communautés mathématiques et informatiques ont contribué à la recherche sur le raisonnement mathématique assisté par machine, englobant la conjecture, la preuve et la vérification.
Cela s'est fait sous la forme de méthodes formelles et de démonstrateurs interactifs de théorèmes, ainsi que par l'utilisation de techniques d'intelligence artificielle. Les avancées technologiques récentes ont suscité un regain d'intérêt pour le raisonnement mathématique assisté par machine de la part des communautés des sciences mathématiques, des méthodes formelles et de l'IA.
En retour, les progrès dans ce domaine ont un impact potentiel sur la recherche en IA.
Cette opportunité est publiée par une source externe officielle. Fairplace ne traite pas les candidatures pour celle-ci — vous postulerez directement sur leur site.
