Das Zusammentreffen von großen Datensätzen, Technologien der künstlichen Intelligenz und Beweisassistenten revolutioniert derzeit die moderne mathematische Praxis. Während diese modernen Werkzeuge die aktuelle mathematische Forschung neu gestalten, entstanden viele der zugrunde liegenden Technologien bereits in früheren Jahrhunderten. Anhand historischer Untersuchungen und zeitgenössischer Interviews soll das Forschungsprojekt aufzeigen, inwiefern diese Entwicklungen sowohl eine Kontinuität als auch einen Bruch mit früheren Versuchen darstellen, mathematisches Denken zu mechanisieren. Die beteiligten Wissenschaftler*innen wollen zeigen, dass verschiedene historische Beispiele mit großen Datensätzen, Beweisassistenten und KI ein gemeinsames Ziel und ein ähnliches Ergebnis haben: Sie automatisieren mathematische Operationen und treiben die Transformation mathematischer Intuition voran. Durch die Untersuchung dieser Entwicklung wollen die Forscher*innen die aktuellen Entwicklungen in einen größeren Zusammenhang der Debatten über das Verhältnis zwischen menschlicher Kognition und rechnerischen Hilfsmitteln bei mathematischen Entdeckungen stellen. Neben der historischen Forschung wird das Projekt auch mit anderen mathematischen Gruppen zusammenarbeiten, die sich derzeit mit diesen technologischen Veränderungen auseinandersetzen. Das Projekt soll zu aktuellen Debatten über die Natur des wissenschaftlichen Denkens im Zeitalter der KI beitragen; seine Bedeutung erstreckt sich darüber hinaus auf weitergehende Fragen zur Zusammenarbeit zwischen Mensch und Maschine bei der Wissensproduktion.
Das Collaborative Research Grants program der Universität St. Andrews fördert internationale Forschung in großem Umfang. Bewerber*innen aus allen Fachbereichen und Disziplinen werden ermutigt, Förderanträge für innovative und nachhaltige Projekte einzureichen, die auf einer gemeinsamen Forschung zwischen Mitarbeiter*innen der University of St Andrews und der Universität Bonn basieren. Die Forschung kann in jedem Land oder jeder Region stattfinden, solange sie gemeinsam durchgeführt wird. Es wird erwartet, dass diese ersten Projekte zu längerfristigen Kooperationen, institutionellen und Forschungsbeziehungen führen und gegebenenfalls Publikationen, Ausstellungen oder externe Fördermittel generieren.
Michael Friedman ist Mitglied der Hausdorff School for Mathematics und assoziiertes Mitglied des Hausdorff Center for Mathematics. Er ist ein Mathematikhistoriker, wobei seine Forschungsschwerpunkte auf die Geschichte der algebraischen Geometrie, Konzepte mathematischer Materialpraktiken zwischen dem 17. und 21. Jahrhundert sowie die Geschichte der Verwendung von KI in der Mathematik liegen. Bevor er nach Bonn kam, hatte er Positionen am Cohn Institute For History And Philosophy of Science And Ideas an der Universität Tel Aviv, an der Humboldt-Universität zu Berlin, am Fourier-Institut in Grenoble und am Max-Planck-Institut für Mathematik in Bonn inne.