Während westliche Mathematiker auf die Bremse treten, setzt China auf Beschleunigung: Unter der Leitung des Fields-Medaillenträgers Shing-Tung Yau haben führende chinesische Mathematiker am Sonntag in Peking eine Allianz gegründet, die KI gezielt in die mathematische Forschung einbinden soll. Die "Yau Laboratory Alliance for Mathematics and Artificial Intelligence" vereint acht Institutionen und will ein Netzwerk von mehr als 1.000 Wissenschaftlern aufbauen, berichtet die South China Morning Post. Yau warnte, China falle hinter die USA zurück.
Im Westen hingegen dominiert Skepsis: 25 Fields-Medaillen-Träger, darunter Terence Tao und Peter Scholze, befürchten, dass KI-generierte Beweise das mathematische Verständnis aushöhlen und Forscher abhängig von Werkzeugen machen, die sie nicht nachvollziehen können. Teile der Community rufen zum Boykott von KI-generierten Beweisen auf, andere zeigen sich schockiert über die Masse automatisierter Einreichungen. China dagegen will spezialisierte Modelle bauen, maschinell überprüfbare Beweise entwickeln und nachvollziehbare KI-Schlussfolgerungen schaffen. Ob KI dabei echte mathematische Einsicht erzeugt oder bekannte Methoden effizient kombiniert, bleibt unter Experten offen.
KI-News ohne Hype – von Menschen kuratiert
Mit dem THE‑DECODER‑Abo liest du werbefrei und wirst Teil unserer Community: Diskutiere im Kommentarsystem, erhalte unseren wöchentlichen KI‑Newsletter, 6× im Jahr den "KI Radar"‑Frontier‑Newsletter mit den neuesten Entwicklungen aus der Spitze der KI‑Forschung, bis zu 25 % Rabatt auf KI Pro‑Events und Zugriff auf das komplette Archiv der letzten zehn Jahre.
