AI voor de Werkende Wiskundige

Description

AI voor de Werkende Wiskundige is een driedaagse ICMS-workshop in [Edinburgh](https://www.createwith.com/cities/edinburgh), van 14–16 december 2026 in het Bayes Centre. Het zal onderzoeken hoe AI het wiskundig onderzoek beïnvloedt, van geautomatiseerd theorem bewijs en formalisatie tot het genereren van conjecturen en de analyse van grote wiskundige datasets. ## Wiskunde ontmoet kunstmatige intelligentie Recente fundament-modellen hebben krachtige systemen voor wiskundig redeneren geproduceerd, terwijl machine learning eerder verborgen structuren in wiskundige data onthult, waaronder fenomenen zoals elliptische curve murmuraties. Deze workshop creëert een gefocuste setting waarin academische en industriële onderzoekers deze vooruitgangen kunnen evalueren, opkomende technologieën kunnen demonstreren en kunnen bespreken waar huidige methoden nog tekortschieten. Het programma zal gebieden verkennen, waaronder: - Theorem bewijs en AI-ondersteund wiskundig redeneren - Geautomatiseerde formalisatie met behulp van bewijsassistenten zoals Lean - AI-ondersteunde conjectuur generatie - Machine learning voor grote wiskundige datasets - Tools voor wetenschappelijke ontdekking, waaronder DeepMind’s AlphaEvolve en Axiom Maths’ Axolver en Axplorer - De kansen en beperkingen van huidige AI-systemen voor wiskunde ## Sprekers en samenwerkende werkgroepen Naast uitgenodigde lezingen zullen deelnemers deelnemen aan specialistische werkgroepen die zich richten op technische uitdagingen en samenwerkingsprojecten. Deze sessies zijn bedoeld om deelnemers te helpen nieuwe benaderingen te ontwikkelen, gedeelde problemen te identificeren en gezamenlijk onderzoek te initiëren, en niet alleen om demonstraties te observeren. De mix van presentaties en gefocust groepswerk maakt dit een bijzonder relevant evenement voor mensen die actief onderzoeken hoe AI kan bijdragen aan wiskundige praktijken. De workshop is gericht op onderzoekers en praktijken die werken op het snijvlak van **wiskunde, computerwetenschappen en industrie**. De nadruk op technische uitdagingen, bewijsassistenten en onderzoekssamenwerking betekent dat het het beste geschikt is voor een specialistisch of onderzoeksniveau publiek in plaats van voor degenen die op zoek zijn naar een algemene inleiding tot AI. ## Wetenschappelijke organisatoren… [Registreer voor dit evenement](https://icms.ac.uk/activities/workshop/ai-workingmathematician)