KI-Mathematikgipfel zieht Bilanz
Das zweitägige Gipfeltreffen „Math Research in the Age of AI“ hat an der Harvard Center for Mathematical Sciences and Applications stattgefunden. Organisiert wurde die Veranstaltung von Dan Freed von der Harvard University, Larry Guth vom MIT, Bryna Kra von der Northwestern University, Emily Riehl von der Johns Hopkins University und Mohammed Abouzaid von der Stanford University. Ziel des Treffens war es, die Auswirkungen künstlicher Intelligenz auf die mathematische Forschung zu analysieren und konkrete Perspektiven für die Zukunft des Fachgebiets zu entwickeln. Rund 32 Mathematikerinnen und Mathematiker aus Hochschulen, Behörden und der Industrie nahmen an der Veranstaltung teil. Sie diskutierten die aktuellen und absehbaren Veränderungen in der mathematischen Arbeit und suchten nach Wegen, Forschung, Lehre und institutionelle Praxis an die neuen Möglichkeiten von KI-Werkzeugen anzupassen. Im Mittelpunkt stand dabei nicht nur die technische Anwendung, sondern auch die Frage, wie mathematische Community, Ausbildung und internationale Zusammenarbeit zukunftsfähig gestaltet werden können. Die Teilnehmerinnen und Teilnehmer gliederten sich in fünf Arbeitsgruppen. Diese befassten sich mit der Bewertung, Produktion und Verbreitung von Forschung, koordinierten Maßnahmen für das KI-Zeitalter, offenen Software-Werkzeugen, Formalisierung in der Mathematik sowie der Zusammenarbeit zwischen akademischen Institutionen und KI-Labors. Die Ergebnisse wurden in einem Bericht zusammengefasst, der auf der Website des Gipfeltreffens verfügbar ist. Dort befindet sich auch ein Link zur Abgabe von Feedback. Die Organisatoren wollen damit die Debatte über die Rolle der KI in der Mathematik fortsetzen und fördern ausdrücklich offene Diskussionen.
