Kína ezernél több kutatóval vinné be a mesterséges intelligenciát a matematikába
Kína szervezett programmal akarja felgyorsítani a mesterséges intelligencia alkalmazását a matematikai kutatásban. Pekingben vasárnap Shing-Tung Yau Fields-érmes matematikus és több vezető kínai kutató elindította a Yau Laboratory Alliance for Mathematics and Artificial Intelligence nevű szövetséget. A kezdeményezéshez nyolc intézmény csatlakozik, célja pedig egy több mint ezer kutatóból álló hálózat létrehozása. Yau szerint Kína jelenleg lemaradásban van az Egyesült Államokhoz képest, ezért a szövetség a matematikai MI-kutatás megerősítését szolgálná.
A kínai megközelítés élesen eltér a nyugati matematikusok egy részének óvatosságától. Huszonöt Fields-érmes, köztük Terence Tao és Peter Scholze, attól tart, hogy az MI által előállított bizonyítások gyengíthetik a matematikai megértést, és a kutatókat olyan eszközöktől tehetik függővé, amelyek működését nem tudják követni. A közösség egyes tagjai az ilyen bizonyítások bojkottjára szólítanak fel, másokat pedig az automatizált beadások nagy száma aggaszt.
A kínai szövetség ezzel szemben speciális matematikai modellek fejlesztését, géppel ellenőrizhető bizonyításokat és átlátható MI-s érvelést sürget. Abban még a technológiát használó szakértők között sincs egyetértés, hogy az MI valódi matematikai felismerésekre képes-e, vagy főként ismert módszereket kombinál nagy erőforrással.