Academicus van de Chinese Academie van Wetenschappen en AI-experts van Beidian Shuzhi bespreken het 'multipliereffect' van AI en wiskunde
OpenAI
Anthropic
Google/DeepMind
Op een wiskundeconferentie in Yuxi, Yunnan, bespraken een academicus van de Chinese Academie van Wetenschappen en de hoofdwetenschapper van Beidian Shuzhi de grenzen van AI in de wiskunde, de toekomstige rol van wiskundigen en de industriële toepassing van AI. Zij benadrukten de snelle vooruitgang van AI bij het oplossen van wiskundige problemen, het onopgeloste vraagstuk van uitlegbaarheid, en het potentieel van AI om te helpen bij het verifiëren van vermoedens zoals het Jacobiaanse vermoeden. Het bedrijf presenteerde zijn industriële aanpak, die computerinfrastructuur en full-stack AI-oplossingen combineert voor sectoren zoals de gezondheidszorg en de maakindustrie.
Op 24 juli 2026 vond in Yuxi, in de provincie Yunnan, de 'Zestiende Provinciale (Regionale, Stedelijke) Jaarlijkse Wiskundebijeenkomst en Academisch Forum voor Toegepaste Wiskunde en Kunstmatige Intelligentie' plaats, met meer dan 500 experts en wiskundedocenten. Tijdens het forum gingen Beidian Shuzhi's Chief Scientist Dou Dejing en Zhou Xiangyu, academicus van de Chinese Academie van Wetenschappen, in gesprek over de mogelijkheden van AI op het gebied van wiskunde, de veranderende rol van wiskundigen en de toekomst van door AI ondersteund wiskundig onderzoek. Ze presenteerden gegevens waaruit blijkt dat reguliere grote modellen in 2024 nog zakten voor het toelatingsexamen wiskunde voor de universiteit, maar in 2026 een score boven de 135 van de 140 halen, en dat ze nu zonder voorkennis van de problemen perfecte scores kunnen behalen in wiskundeolympiades. Zhou benadrukte echter dat de kernkracht van AI ligt in patroonherkenning en mechanische deductie, niet in echte wiskundige innovatie, en dat de verklaarbaarheid van AI's wiskundige afleidingen een onopgeloste bottleneck blijft. Ze bespraken het Jacobiaan-vermoeden, waarbij werd opgemerkt dat AI's vermogen om grootschalige heuristische zoekopdrachten en berekeningen uit te voeren zou kunnen helpen bij het vinden van tegenvoorbeelden, maar het 'black box'-probleem blijft bestaan. Zhou stelde dat wiskundigen niet vervangen zullen worden, omdat zij doen wat machines niet kunnen: nieuwe vragen stellen, nieuwe kaders bouwen en nieuwe wetten ontdekken. Hij uitte ook zorgen over academische integriteit met betrekking tot door AI gegenereerde resultaten en citatie-etiek. Dou presenteerde Beidian Shuzhi's industriële aanpak, waaronder het bouwen van rekencentra in meer dan 30 steden, een full-stack 'data-computing-model-toepassing'-systeem, en praktische implementaties in de gezondheidszorg en productie, zoals een huidziektemodel dat 90% nauwkeurigheid behaalt bij examens voor middelbare artsen en de diagnostijd met 20% verkort. Het artikel vermeldt ook dat Anthropic's Claude Fable 5 naar verluidt het Jacobiaan-vermoeden in een weekend heeft weerlegd, en citeert de Fields-medaillewinnaar Efim Zelmanov, die stelt dat AI is als een 'hoogbegaafde jonge wiskundige', maar dat mensen de verantwoordelijkheid moeten dragen voor het werkelijk begrijpen van bewijzen en het destilleren van inzichten.
Bron: QbitAI 量子位 —
origineel
