Akademiemitglied der Chinesischen Akademie der Wissenschaften und KI-Experten von Beidian Shuzhi diskutieren über den 'Multiplikatoreffekt' von KI und Mathematik
OpenAI
Anthropic
Google/DeepMind
Bei einer Mathematik-Konferenz in Yuxi, Yunnan, diskutierten ein Akademiemitglied der Chinesischen Akademie der Wissenschaften und der Chefwissenschaftler von Beidian Shuzhi über die Grenzen der KI in der Mathematik, die zukünftige Rolle von Mathematikern und die industrielle Anwendung von KI. Sie betonten die schnellen Fortschritte der KI bei der Lösung mathematischer Probleme, das ungelöste Problem der Erklärbarkeit und das Potenzial der KI, bei der Verifizierung von Vermutungen wie der Jacobi-Vermutung zu helfen. Das Unternehmen präsentierte seinen industriellen Ansatz, der Recheninfrastruktur und Full-Stack-KI-Lösungen für Sektoren wie Gesundheitswesen und Fertigung kombiniert.
Am 24. Juli 2026 fand in Yuxi, Provinz Yunnan, die ‚Jahrestagung der Mathematik der sechzehn Provinzen (Regionen, Städte) und das akademische Forum für Angewandte Mathematik und Künstliche Intelligenz‘ statt, zu dem mehr als 500 Experten und Mathematiklehrer zusammenkamen. Im Rahmen des Forums führten der leitende Wissenschaftler von Beidian Shuzhi, Dou Dejing, und Zhou Xiangyu, Akademiker der Chinesischen Akademie der Wissenschaften, einen intensiven Dialog über die Fähigkeiten der KI in der Mathematik, die sich wandelnde Rolle der Mathematiker und die Zukunft der KI-gestützten mathematischen Forschung. Sie präsentierten Daten, die zeigen, dass gängige große Modelle sich von einem Scheitern bei Mathematikprüfungen für die Hochschulaufnahme im Jahr 2024 zu Ergebnissen von über 135 von 140 Punkten im Jahr 2026 verbessert haben und nun auch bei Mathematikolympiaden ohne vorherige Kenntnis der Aufgaben perfekte Punktzahlen erzielen können. Zhou betonte jedoch, dass die Kernstärke der KI in der Erkennung von Mustern und mechanischer Deduktion liegt, nicht in echter mathematischer Innovation, und dass die Erklärbarkeit der mathematischen Ableitungen der KI weiterhin ein ungelöster Engpass ist. Sie diskutierten die Jacobi-Vermutung und stellten fest, dass die Fähigkeit der KI, groß angelegte heuristische Suchen und Berechnungen durchzuführen, bei der Suche nach Gegenbeispielen helfen könnte, aber das Problem der ‚Black Box‘ bestehen bleibt. Zhou behauptete, dass Mathematiker nicht ersetzt werden, weil sie das tun, was Maschinen nicht können: neue Fragen stellen, neue Rahmenwerke aufbauen und neue Gesetze entdecken. Er äußerte auch Bedenken hinsichtlich der akademischen Integrität im Zusammenhang mit KI-generierten Ergebnissen und der Ethik von Zitaten. Dou stellte den industriellen Ansatz von Beidian Shuzhi vor, einschließlich des Aufbaus von Rechenzentren in über 30 Städten, eines Full-Stack-Systems von ‚Daten – Rechenleistung – Modell – Anwendung‘ und praktischer Implementierungen im Gesundheitswesen und in der Fertigung, wie ein Hautkrankheitsmodell, das eine Genauigkeit von 90 % bei Prüfungen für mittlere Ärzte erreicht und die Diagnosezeit um 20 % reduziert. Der Artikel erwähnt auch, dass Anthropics Claude Fable 5 angeblich die Jacobi-Vermutung über ein Wochenende widerlegt hat, und zitiert den Träger der Fields-Medaille, Efim Zelmanov, der die KI mit einem ‚hochbegabten jungen Mathematiker‘ vergleicht, aber betont, dass der Mensch die Verantwortung tragen muss, Beweise wirklich zu verstehen und Erkenntnisse zu gewinnen.
Quelle: QbitAI 量子位 —
Original
