Wat gebeurt er als wiskundig onderzoek niet langer het werk is van een mens, maar van een eigen AI-model waartoe academische onderzoekers geen toegang hebben? Wie is verantwoordelijk voor fouten en wie krijgt de eer als alles correct is? En hoe kunnen we vaststellen of een door AI gegenereerd wiskundig bewijs werkelijk nieuw is of slechts een slimme herformulering van bestaand werk zonder de juiste bronvermelding?
Dit zijn geen hypothetische vragen meer, maar actuele dilemma’s waar wiskundigen wereldwijd mee worstelen. Daarom heeft een internationale groep onderzoekers de “Leiden Declaration on Artificial Intelligence and Mathematics” gepresenteerd: een oproep tot actie om de uitdagingen aan te pakken die het gebruik van AI binnen het wiskundig onderzoek met zich meebrengt.
Deze verklaring bevat aanbevelingen voor individuele wiskundigen, wiskundige organisaties/financiers, beleidsmakers en commerciële AI-organisaties. Zij heeft wereldwijd veel aandacht gekregen (met onder meer publicaties in de New York Times, Science, Nature, Le Monde, alsmede Nederlandse kranten). In deze lezing gaan we dieper in op de achtergronden van AI-gebruik in de wiskunde, de aanbevelingen uit de Leiden Declaration en hoe deze impact kunnen hebben op de wiskunde van de toekomst.
Sprekers: Sander Dahmen. Hij is als wiskundige werkzaam bij de Vrije Universiteit Amsterdam. Dit jaar ontving hij een Vici-subsidie voor zijn onderzoeksproject naar polynoomvergelijkingen in gehele getallen. Hierin onderzoekt hij o.a. de mogelijkheid om ingewikkelde wiskundige bewijzen digitaal te controleren.
Hij is een van de ondertekenaars van de in juni opgestelde “Leiden Declaration on Artificial Intelligence and Mathematics“.
Steven Kelk. Hij is als wiskundige verbonden aan het “Department of Advanced Computing Sciences” van de Universiteit van Maastricht en medeondertekenaar van de “Leiden Declaration on Artificial Intelligence and Mathematics“.
Jim Portegies zal bijdragen aan het beantwoorden van de vragen bij de discussie.
Jim Portegies is verbonden aan het “Centre for Analysis, Scientific computing and Applications” van de Technische Universiteit Eindhoven en onderzoekt daar de wiskunde van het menselijk leren.
Muziek: Cloveirish. Deze band brengt de authentieke, traditionele klanken uit Ierland, die je mee zullen voeren naar Ierse sferen!
Locatie : Scheltema, Marktsteeg 1 te Leiden.
Tijden: Muziek: 19.40 uur;
Lezing: 20.00 – 20:45 uur;
Pauze met muziek: 20:45-21:05;
Discussie ca. 21.05;
Einde ca. 22.00 uur.
De toegang is gratis. Aanmelden is niet nodig.
De lezing is in het Nederlands.
Op de avond kunnen foto’s of films gemaakt worden door de organisatie. Als je niet zichtbaar in beeld gebracht wilt worden, word je verzocht dat van tevoren aan de organisatie melden.
Bezoekers mogen enkel foto’s en filmbeelden maken voor eigen gebruik.