BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Anders Hansen (Faculty of Mathematics and Department of Applied Ma thematics and Theoretical Physics\, University of Cambridge) DTSTART:20220120T170000Z DTEND:20220120T180000Z DTSTAMP:20260423T003255Z UID:MPML/64 DESCRIPTION:Title: Wh y things don’t work — On the extended Smale's 9th and 18th problems (t he limits of AI) and methodological barriers\nby Anders Hansen (Facult y of Mathematics and Department of Applied Mathematics and Theoretical Phy sics\, University of Cambridge) as part of Mathematics\, Physics and Machi ne Learning (IST\, Lisbon)\n\n\nAbstract\nThe alchemists wanted to create gold\, Hilbert wanted an algorithm to solve Diophantine equations\, resear chers want to make deep learning robust in AI\, MATLAB wants (but fails) t o detect when it provides wrong solutions to linear programs etc. Why does one not succeed in so many of these fundamental cases? The reason is typi cally methodological barriers. The history of science is full of methodolo gical barriers — reasons for why we never succeed in reaching certain go als. In many cases\, this is due to the foundations of mathematics. We wil l present a new program on methodological barriers and foundations of math ematics\, where — in this talk — we will focus on two basic problems: (1) The instability problem in deep learning: Why do researchers fail to p roduce stable neural networks in basic classification and computer vision problems that can easily be handled by humans — when one can prove that there exist stable and accurate neural networks? Moreover\, AI algorithms can typically not detect when they are wrong\, which becomes a serious iss ue when striving to create trustworthy AI. The problem is more general\, a s for example MATLAB's linprog routine is incapable of certifying correct solutions of basic linear programs. Thus\, we’ll address the following q uestion: (2) Why are algorithms (in AI and computations in general) incapa ble of determining when they are wrong? These questions are deeply connect ed to the extended Smale’s 9th and 18th problems on the list of mathemat ical problems for the 21st century.\n LOCATION:https://researchseminars.org/talk/MPML/64/ END:VEVENT END:VCALENDAR