KI für den praktizierenden Mathematiker

Description

KI für den praktizierenden Mathematiker ist ein dreitägiger ICMS-Workshop in [Edinburgh](https://www.createwith.com/cities/edinburgh), der vom 14. bis 16. Dezember 2026 im Bayes Centre stattfindet. Es wird untersucht, wie KI die mathematische Forschung verändert, von automatisierten Theorembeweisen und Formalisierung bis hin zur Generierung von Vermutungen und der Analyse großer mathematischer Datensätze. ## Mathematik trifft künstliche Intelligenz Jüngste Entwicklungsmodelle haben leistungsstarke Systeme für mathematische Argumentation hervorgebracht, während maschinelles Lernen zuvor verborgene Strukturen in mathematischen Daten aufdeckt, einschließlich Phänomenen wie elliptischen Kurvenmurmurierungen. Dieser Workshop schafft eine fokussierte Umgebung, in der akademische und industrielle Forscher diese Fortschritte bewerten, aufkommende Technologien demonstrieren und diskutieren können, wo aktuelle Methoden noch behindert sind. Das Programm wird Bereiche wie folgt erkunden: - Theorembeweise und KI-unterstützte mathematische Argumentation - Automatisierte Formalisierung mit Hilfe von Beweisassistenten wie Lean - KI-gestützte Vermutungsgenerierung - Maschinelles Lernen für große mathematische Datensätze - Werkzeuge für wissenschaftliche Entdeckungen, einschließlich DeepMind’s AlphaEvolve und Axiom Maths’ Axolver und Axplorer - Die Chancen und Grenzen aktueller KI-Systeme für die Mathematik ## Vorträge und kollaborative Arbeitsgruppen Neben eingeladenen Vorträgen nehmen die Teilnehmer an spezialisierten Arbeitsgruppen teil, die technische Herausforderungen und gemeinsame Projekte ansprechen. Diese Sitzungen sollen den Teilnehmern helfen, neue Ansätze zu entwickeln, gemeinsame Probleme zu identifizieren und gemeinsame Forschung zu initiieren, nicht nur Demonstrationen zu beobachten. Der Mix aus Präsentationen und fokussierter Gruppenarbeit macht diese Veranstaltung besonders relevant für Personen, die aktiv untersuchen, wie KI zur mathematischen Praxis beitragen kann. Der Workshop richtet sich an Forscher und Praktiker, die in **Mathematik, Informatik und Industrie** tätig sind. Die Betonung technischer Herausforderungen, Beweisassistenten und Forschungskooperationen macht ihn besonders geeignet für ein spezialisiertes oder forschungsorientiertes Publikum, das nicht einfach eine allgemeine Einführung in KI sucht. ## Wissenschaftliche Organisatoren… [Registrieren Sie sich für diese Veranstaltung](https://icms.ac.uk/activities/workshop/ai-workingmathematician)