KI zur Unterstützung des mathematischen Denkens: Ein Workshop

Die National Academies of Science, Engineering, and Mathematics veranstalten vom 12. bis 14. Juni einen virtuellen Workshop zum Thema „KI zur Unterstützung des mathematischen Denkens“. Das vorläufige Programm finden Sie hier. Ich gehöre zusammen mit Petros Koumoutsakos, Jordan Ellenberg, Melvin Greer, Brendan Hassett, Yann A. LeCun, Heather Macbeth, Talia Ringer, Kavitha Srinivas und Michelle Schwalbe zu den Mitgliedern des Organisationskomitees für diesen Workshop. Es gibt einige thematische Überschneidungen (und einige gemeinsame Redner) mit dem jüngsten IPAM-Programm zum maschinengestützten Beweis, wobei der Schwerpunkt jedoch eher auf den aktuellen und geplanten technischen Fähigkeiten von Algorithmen für maschinelles Lernen für die Mathematik liegt. Die Anmeldung für die Veranstaltung ist derzeit auf der Website des Workshops möglich.