IT之家 Bericht vom 15. Oktober: Das Weltklasseproblem, das die Mathematik seit mehr als 30 Jahren belastet – die dreidimensionale Ghys-Vermutung – wurde heute gelöst.
Die Teammitglieder von Xu Disheng, einem Visitor-Professor am Shanghai Artificial Intelligence Laboratory und Professor an der Universität Greater Bay Area, nutzen das Buchsing-Science-Multimodale Modell S2 (Buchsing-S2) und basierend auf der Technik des „Integrierten Allgemeinen und Spezialisierungskonzepts“, haben durch die Kooperation von Mensch und Maschine die Beweisführung der dreidimensionalen Ghys-Vorstellung abgeschlossen.
Professor Dong Bin von der Peking-Universität und das Team von Akademiker Liu Ruochuan haben die formalisierte Überprüfung dieser Beweisform durch das von ihnen entwickelte SHEAF-Framework durchgeführt, wodurch die Richtigkeit dieser Arbeit bestätigt wurde. Dies markiert den ersten Fall, in dem chinesische Wissenschaftler mit einem großen chinesischen Modell weltweit ein mathematisches Problem lösen.
Ghys’ Vermutung wurde 1995 von dem französischen Mathematiker Étienne Ghys aufgestellt. Sie besagt, dass jedes kompakte komplexe Flächenhomöomorphe Anosov-System gleichzeitig doppelt komplekt konjugiert ist mit einem komplexen infra-Null-Flächenhomöomorfen仿射automorphismus. Dieses Problem hat sowohl theoretische Schwierigkeiten als auch eine bedeutende wissenschaftliche Bedeutung. Es wird von Mathematikern aus dem Bereich dynamischer Systeme als eines der wichtigen langfristigen offenen Probleme in diesem Bereich angesehen und dient als Test für die Fähigkeit zur mathematischen Logik.
Die entsprechenden Arbeiten wurden bereits auf der Preprint-Plattform arXiv veröffentlicht, und ihre formalisierte Code-Dateien sind auch auf der Github-Plattform öffentlich zugänglich. Der Link von IT Home ist wie folgt:
https://github.com/frenzymath/HolomorphicAnosov
Das Shanghai AI-Labor erklärte, dass die Bedeutung dieser Forschung auch darin besteht, ein neues wissenschaftliches Paradigma zu verifizieren. Traditionelle mathematische Forschungen sind von der langen Suche individueller Genies abhängig, während diese Studie die Intuition von Experten systematisch in den Maschinenlösungskreislauf einbringt, wodurch ein geschlossener Kreislauf entsteht: „Systematische Erkundung – Expertenurteil – Ergebnisansammlung – Rückkopplung und Korrektur“. Dieses Paradigma kann auf weitere Grundlagenforschungsbereiche übertragen werden, in denen das „Suchraumvolumen groß und Experten knapp“ sind, um mehr originelle Innovationen von „0 bis 1“ zu erreichen.
Danach wird das Team auf der Grundlage des vollständigen Kreislaufs der durchgeführten Forschung die verwendbaren mathematischen Validierungsmodule der Shusen · Duanyan Wissenschaftsentdeckungsplattform konservieren, um sie direkt für weitere wissenschaftliche Forschungen zu nutzen. Gleichzeitig wird das Durchbrechen der dreidimensionalen Ghys-Vorstellung als Ausgangspunkt genutzt, um die erlangten Rückführungsfähigkeiten des Shanghai Artificial Intelligence Laboratory auf andere Disziplinen mit gemeinsamen mathematischen Strukturen auszubauen; nach neuen Durchbrüchen werden diese neuen Rückführungsfähigkeiten wieder in die Duanyan-Plattform integriert, um mit weiteren Disziplinen zusammenzuarbeiten und eine nächste Durchbruchserie zu erzielen, was einen selbstentwickelnden Kreislauf von „Durchbruch – Konservierung – Wiederverwendung – Neuer Durchbruch“ bildet.
Anzeige: Der Text enthält externe Verlinkungen (nicht aufgezwungen, aber inklusive Hyperlinks, QR-Codes, Passwörter usw.), die dazu dienen, mehr Informationen bereitzustellen, die Auswahlzeit zu verkürzen und die Ergebnisse lediglich als Referenz dienen. Alle Artikel auf IT Home, die externe Links enthalten, enthalten diese Anzeige.