 |
||
|
||
Home > TERATEC FORUM > Workshops
 |
The essential meeting place for all digital players Simulation . HPC/HPDA . Artificial Intelligence . Quantum Computing |
Keynote - From 12:15 a.m. to 12:35 a.m. |
Scientific research in the age of AI
Jalal Fadili, Professor, CNRS
While many scientific disciplnes has been at the heart of the foundations of modern artificial intelligence, this talk will explore how modern AI—and, more specifically, large language models and agentic AI—is now beginning to transform the practice of scientific research itself. After a brief overview of the principles underlying modern large language models, I will focus on mathematics and discuss how the integration of LLMs with formal verification tools and proof assistants is making it possible to solve an increasing range of mathematical problems, including some that have long been regarded as particularly challenging. I will then present several initiatives, including the AISSAI center of the CNRS, and emerging trends that point toward a new paradigm for conducting scientific research and, more broadly, for teaching and training in the years to come.
 |
Biography: Jalal FADILI is a Full Professor at National School of Engineering at Caen, and a Fellow of Institut Universitaire de France (top 2% of professors in France). He holds several national and international scientific management positions (editorial activities, national excellence research networks), and manages national and European grants. He is in particular the head of the CNRS AISSAI Center (AI for Science and Science for AI Center). He has also held visiting positions at several universities (QUT-Australia, Stanford, CalTech, EPFL, MIT, UCLA, Crete, etc.). In the last decade, he has been an invited or plenary speaker at various international events. His research interests include mathematical data processing, inverse problems, optimization and learning theory. His areas of application include medical and astronomical imaging. He has published more than 230 papers in the leading journals and conferences of these fields, among which some were distinguished by prizes, 7 book chapters and 3 books. |
 |
|
To participate in this keynote, please register on the Teratec 2026 Forum website >>>>