Zusammenfassung:
Die Yau Mathematics and Artificial Intelligence Laboratory Alliance wurde am 11. Oktober an der Tsinghua-Universität gegründet. Sie plant, etwa 1.000 Mathematiker und Forscher zusammenzubringen, um die Integration von künstlicher Intelligenz, Mathematik und interdisziplinärer Forschung zu fördern. Professor Qiu Chengtong, Gewinner der Fields-Medaille und Vorsitzender der Tsinghua-Universität, fungiert als Leiter der Allianz. Er sagte, dass China beim Einsatz von KI zur Förderung modernster Wissenschaft immer noch hinter den Vereinigten Staaten zurückbleibt und dass seine inländischen wissenschaftlichen Forschungskapazitäten an großen Modellen noch nicht auf dem weltweit führenden Niveau seien. Die Allianz hofft, Talente und Ressourcen zu integrieren, um eigenständig spezielle Modelle für die mathematischen Wissenschaften zu entwickeln.
Die Allianz wird gemeinsam von acht Institutionen gegründet, darunter der Qiuzhen Academy der Tsinghua-Universität, dem Yau Shing-tung Mathematical Sciences Center der Tsinghua-Universität, dem Beijing Yanqi Lake Institute of Applied Mathematics, dem Morningside Mathematics Center der Chinesischen Akademie der Wissenschaften, dem Shanghai Institute of Mathematics and Interdisciplinary Studies, dem Southeast University Yau Shing-tung Center und dem Hetao Institute of Mathematics and Interdisciplinary Sciences (Shenzhen) und Zhizhen Institute of Interdisciplinary Mathematics der Chinese University of Hong Kong. Das erste Labor für Mathematik und künstliche Intelligenz befindet sich an der Tsinghua Qiuzhen Academy und wird gemeinsam mit dem Yau Mathematical Science Center eingerichtet. Die Allianz plant außerdem den Bau von Laboren in Peking, Shanghai, Nanjing, Shenzhen und Hongkong, um durch die gemeinsame Nutzung von Modellschulungsressourcen, formalen Mathematikbibliotheken und Rechenleistungsplattformen zusammenzuarbeiten.
Der aktuelle Schwerpunkt der Allianz umfasst die Entwicklung großer mathematikspezifischer Modelle, den Einsatz von KI zur Unterstützung der Entdeckung von Vermutungen und formalen Beweisen, die Entwicklung erklärbarer künstlicher Intelligenz sowie die Förderung der Schnittstelle zwischen Mathematik und Quantencomputern, Biowissenschaften, Finanzen und anderen Bereichen. Darüber hinaus plant die Allianz die Durchführung von Talenttrainings und internationalen Kooperationen sowie die Gründung des „Journal of AI-Assisted Mathematics“. Die Gründungsveranstaltung kündigte mehr als zehn Forschungsergebnisse und -richtungen an, darunter Geometrie, Quantencomputer, Biowissenschaften sowie mathematische Probleme wie die entartete Arnold-Vermutung und die Sylvester-Vermutung. Der Reifegrad dieser Projekte ist nicht derselbe. Einige sind Forschungsrichtungen und können nicht als abgeschlossene und von Experten begutachtete Ergebnisse angesehen werden.
Ein Fall, der Aufmerksamkeit erregt hat, ist die Zusammenarbeit zwischen dem Tsinghua Yau Mathematical Science Center und dem Shanghai Institute of Mathematics and Interdisciplinary Studies zur Untersuchung siebendimensionaler homotopischer Sphären. Die Forschungsarbeit, die derzeit als Vorabdruck erhältlich ist, berichtet, dass glatte siebendimensionale homotopische Sphären für alle 28 Klassen orientierter Diffeomorphismen Riemannsche Metriken mit streng positiver Querschnittskrümmung konstruieren. Nach Angaben der Allianz hilft KI dem Team, Beweisstrategien zu erforschen und Berechnungen zu vereinfachen; Mithilfe des Computeralgebrasystems werden Identitäten und Intervallgrenzen überprüft und reproduzierbare Berechnungszertifikate erstellt. Die Forschungskonzeption, der Beweis und die abschließende Demonstration werden immer noch von Mathematikern durchgeführt, sodass dieses Ergebnis nicht unabhängig von der KI bewiesen werden kann.
Die Fähigkeit der KI, mathematische Ergebnisse stapelweise zu generieren, hat auch Diskussionen über akademische Standards ausgelöst. Xi Nanhua, Akademiker der Chinesischen Akademie der Wissenschaften und Vorsitzender der Chinesischen Mathematischen Gesellschaft, wies darauf hin, dass die Geschwindigkeit, mit der Unternehmen KI-generierte Ergebnisse veröffentlichen, im Widerspruch zur Tradition strenger Verifizierung und Peer-Review in der Mathematik-Community steht und fehlerhafte Inhalte, die nicht vollständig getestet wurden, nach außen dringen könnten; Er glaubt, dass die Mathematik-Community und die KI-Industrie gemeinsam Regeln festlegen müssen, die von allen Parteien anerkannt werden. Kürzlich hat OpenAI eine Reihe mathematischer Manuskripte und Beweismaterialien veröffentlicht, die durch interne Modelle generiert wurden. Sein offizielles Lager listet derzeit 719 Manuskripte auf, aufgeteilt in 372 Gruppen, und erklärt, dass sich die Ergebnisse in unterschiedlichen Phasen der Überprüfung befinden. Ungefähr 42 % der Hauptergebnisse wurden von Lean formalisiert, und es kann immer noch Probleme mit den Ergebnissen geben, die noch nicht formalisiert wurden. Dies verdeutlicht auch, dass KI-gestützte mathematische Forschung neben der Verbesserung der Explorationseffizienz auch die Probleme der Verifizierung, Reproduktion und Verantwortungszuweisung lösen muss.
Qiu Chengtong glaubt, dass KI eine große Anzahl von Beweisen und Berechnungsergebnissen generieren kann, aber das Aufwerfen aufschlussreicher neuer Fragen und die Entwicklung mathematischer Intuition und kreativem Urteilsvermögen sind immer noch wichtige Aufgaben menschlicher Forscher. Nach der Gründung der Allianz wird es für die weitere Arbeit von entscheidender Bedeutung sein, die Fähigkeiten großer Modelle in überprüfbare mathematische Entdeckungen umzuwandeln und entsprechende akademische Standards zu etablieren.
Kommentare