IT之家 Bericht vom 12. Oktober: Laut dem Beijing Daily wurde am 11. Oktober die Coalition des Qiu Chengtong Mathematik- und KI-Labors an der Tsinghua-Universität gegründet. Sie wird sich mit der Entwicklung von spezialisierten großen Modellen für mathematische Wissenschaften, der AI-Unterstützung bei formalen Beweisen und Entdeckungen in Mathematik, erklärbaren KI sowie intelligentem Rechnen in interdisziplinären Bereichen beschäftigen, um die tiefe Integration von KI und Mathematik zu fördern.
Laut früheren Berichten von IT Home hat OpenAI an diesem Monat 722 mathematische Forschungsmanuskripte öffentlich gemacht. Die Inhalte umfassen bahnbrechende Bereiche wie Number论, algebraische Geometrie, theoretische Informatik, Fluiddynamik und statistische Physik und haben mehrere langjährige mathematische Probleme gelöst, was einen großen Aufschwung in der Mathematikwelt bedeutet.
Der Leiter der Allianz und Rektor der Tsinghua Qiu Zhao Academy, Qiu Chengtong, sprach bei der Gründungszeremonie der Allianz über seine Ansichten zum Entwicklungsprozess der Mathematik in der AI-Ära: „Das zwingt uns dazu, die wesentlichen Werte der Mathematik neu zu überdenken.“Erfordert auch von uns, dass wir im Wellenstrom der KI-Welle surfen müssenUnd nicht versteckt bleiben.“
Laut der Präsentation hat die Allianz mehr als 10 Schlüsselergebnisse und Forschungsrichtungen im Bereich „AI+Mathematik“ veröffentlicht. Dabei geht es um Themen wie Geometrie, Quantencomputing und Lebenswissenschaften, einschließlich wissenschaftlicher Probleme wie der Degenerations-Aronde-Vorstellung, der minimalen Modifikation der Bedingungen sowie der 7-Dimensionalen Homotopie-Sphäre.
In der Forschung „7-Dimensionale Homotopie-Sphären: Alle glatten Strukturen können eine Querschnitte auf positiven Werten ermöglichen“, die vom Center für Mathematische Wissenschaften Qiu Chengtong an der Tsinghua-Universität und dem Institut für Mathematik und Interdisziplinäre Forschung in Shanghai durchgeführt wird, wird KI zur Unterstützung bei der Beweisführung und zur Vereinfachung der Berechnungen verwendet; das computergestützte Algebra-System dient der Überprüfung exakter Identitäten, Grenzen von Intervallen und der Erstellung reproduzierbarer Berechnungszertifikate; Mathematiker sind für die Konzeption und Beweisführung verantwortlich, die Überprüfung der Ergebnisse sowie die Durchführung mathematischer Argumente und Artikel. Außerdem liefert die AI Wissenschaftlern Ideen und Inspiration bei der Lösung anderer wissenschaftlicher Probleme und unterstützt sie bei der Durchführung früher experimenteller Berechnungen.
Qiu Chengtong sagte: Die Allianz hat die Kräfte von über 1000 Mathematikern und Wissenschaftler:innen zusammengestellt. Durch die Zusammenarbeit mit der Tsinghua University Qiu Chengtong Mathematical Science Center, dem Beijing Yanqi Lake Applied Mathematics Research Institute, dem Chinese Academy of Sciences Chenxing Mathematical Center, dem Shanghai Institute of Mathematics and Interdisciplinary Sciences, dem Southeast University Qiu Chengtong Center, dem Hetao Institute of Mathematics and Interdisciplinary Sciences (Shenzhen) und der Hong Kong Chinese University Zhenzhen Interdisciplinary Mathematics Science Academy werden junge Wissenschaftler:innen und Studenten führende Unterstützung erhalten. Zudem wird die Integration von Ressourcen gefördert, um den eigenen Weg zur Entwicklung großer mathematischer Modelle in China zu erforschen.