|
|||||||||||
|
|
Accueil > Forum TERATEC > Colloque > Keynote
Si plusieurs disciplines scientifiques ont été au coeur des fondements de l'IA, cet exposé va explorer la façon dont l'IA moderne, et plus exactement les grands modèles de langages et l'IA agentique, est en train de transformer progressivement la pratique de la recherche scientifique. On abordera rapidement le fonctionnement général des grands modèles de langage modernes. Je ferai ensuite un focus sur les mathématiques et on verra comment l'articulation des LLMs avec les outils de vérification formelle et les assistants de preuve permet désormais de résoudre de nombreux problèmes, y compris certains réputés difficiles. J'exposerai ensuitre quelques initiatives, en particulier celles du CNRS avec le centre AISSAI, et les tendances qui dessinent une nouvelle manière d'aborder la recherche (et la formation) en sciences dans les années à venir.
Pour assister à ce keynote, veuillez vous incrire sur le site du Forum Teratec 2026 >>>>
|
||||||||||
© Teratec - Tous droits réservés - Mentions légales |
|||||||||||