Talare: Vicenç Torra, Carl Westerlund och Sohaib Khalid
Titel: : ”AI och formalisering inom matematisk forskning”
Sammanfattning:
De senaste framstegen inom AI har bidragit till flera viktiga matematiska resultat och börjar nu påverka forskningen inom de formella vetenskaperna. Denna utveckling har också väckt ett förnyat intresse för att formalisera matematiska begrepp, bevis och teorier med hjälp av bevisassistenter som Lean.
Under detta seminarium kommer Vicenç Torra, Carl Westerlund och Sohaib Khalid att dela med sig av sina erfarenheter och tankar kring användningen av Lean inom matematik och närliggande områden. En del av detta arbete sker i samarbete med Maria Bras-Amorós (Institutionen för matematik, Universitat Politècnica de Catalunya). Vi kommer även att presentera en planerad läsgrupp för alla som är intresserade av att lära sig mer om formalisering och AI-stödd forskning.
