China hat am Sonntag in Peking eine umfassende Initiative zur Förderung von Künstlicher Intelligenz (KI) in der Mathematikforschung gestartet. Unter der Führung des renommierten Fields-Medaillen-Gewinners Shing-Tung Yau wurde die „Yau Laboratory Alliance for Mathematics and Artificial Intelligence“ ins Leben gerufen. Diese Allianz vereint acht Institutionen und strebt den Aufbau eines Netzwerks von über 1.000 Forschern an.
Chinas Offensive in der Mathematikforschung
Die neue Allianz verfolgt das Ziel, KI systematisch in die mathematische Forschung zu integrieren. Laut Berichten der South China Morning Post plant die Initiative, spezialisierte KI-Modelle zu entwickeln, maschinell verifizierbare Beweise zu erstellen und die Transparenz der KI-Argumentation zu verbessern. Yau betonte die Notwendigkeit dieser Anstrengungen, da China im Vergleich zu den USA einen Rückstand aufhole.
Westliche Skepsis gegenüber KI-generierten Beweisen
Im Gegensatz zu Chinas offensiver Strategie dominiert im Westen eine Haltung der Skepsis. Fünfundzwanzig Fields-Medaillen-Gewinner – eine der höchsten Auszeichnungen in der Mathematik – darunter Koryphäen wie Terence Tao und Peter Scholze, äußern Bedenken. Sie befürchten, dass KI-generierte Beweise das mathematische Verständnis untergraben und Forscher von Werkzeugen abhängig machen könnten, deren Funktionsweise sie nicht vollständig nachvollziehen können. Teile der mathematischen Gemeinschaft rufen sogar zu einem Boykott solcher KI-Erzeugnisse auf, während andere sich schockiert über die schiere Menge automatisierter Einreichungen zeigen.
Uneinigkeit über den Wert von KI in der Mathematik
Selbst unter Experten, die bereits KI in ihrer Arbeit einsetzen, herrscht keine Einigkeit darüber, ob diese Technologien tatsächlich echte mathematische Erkenntnisse produzieren oder lediglich bekannte Methoden durch schiere Rechenkraft anwenden. Die Frage, ob diese Unterscheidung überhaupt relevant ist, bleibt ebenfalls umstritten.
Thema: Technologie / KI allgemein. Quelle/Inspiration: The Decoder.