Orateur
Javier Gomez-Serrano
(Brown University)
Description
In this talk I will discuss recent results in Mathematics+AI. I will describe several concrete instances in which AI systems have contributed to genuine mathematical and scientific results, ranging from the discovery of new objects to the optimization of the numerical kernels that underpin modern computation. A recurring theme is that these tools do not replace mathematical reasoning but extend the range of problems on which it can be brought to bear, often by searching spaces that are too large or too irregular for human intuition alone.