Allianz für Mathematik und KI an der Tsinghua-Universität gegründet

Eine Allianz für mathematische und künstliche Intelligenz-Labore wurde am 11. Oktober an der Tsinghua-Universität in Peking gegründet. Die neue Forschungsinitiative zielt darauf ab, die Integration von KI und Mathematik in mehreren Schlüsselbereichen zu vertiefen.

Die Allianz wird sich auf die Entwicklung großer Modelle für die mathematische Wissenschaft, KI-gestützte formale mathematische Beweise und die Entdeckung von Vermutungen sowie auf erklärbare KI und interdisziplinäres intelligentes Computing konzentrieren. Diese Entwicklung findet inmitten des wachsenden Einflusses von KI statt, nach jüngsten Veröffentlichungen von Unternehmen wie OpenAI zur mathematischen Forschung.

Shing-Tung Yau, der Leiter der Allianz und Dekan des Yau Mathematical Sciences Center der Tsinghua-Universität, betonte bei der Gründungszeremonie die Notwendigkeit, dass sich die Mathematik an das KI-Zeitalter anpasst. Er erklärte, dass der Aufstieg der KI eine Neubewertung der grundlegenden Werte der Mathematik erzwingt und dass Forscher sich aktiv mit ihrer Entwicklung auseinandersetzen müssen.

Die Allianz stellte auf der Veranstaltung über zehn wichtige Forschungsergebnisse und -richtungen im Bereich "KI + Mathematik" vor. Diese decken verschiedene wissenschaftliche Bereiche ab, darunter Geometrie, Quantencomputing und Biowissenschaften. Zum Beispiel wurde KI in einem Projekt zur Unterstützung bei der Erforschung von Beweisstrategien und der Vereinfachung von Berechnungen eingesetzt, während sich Mathematiker auf die theoretische Entwicklung des Beweises konzentrierten.

Die Allianz bringt über 1.000 Mathematiker und Forscher von führenden Institutionen in China zusammen. Ziel ist es, jungen Wissenschaftlern und Studenten eine fortschrittliche Anleitung zu bieten und die Integration von Ressourcen zur Entwicklung eigener mathematischer KI-Modelle Chinas zu fördern.