Kiinan tiedeakatemian akateemikko ja Beidian Shuzhin tekoälyasiantuntijat keskustelevat tekoälyn ja matematiikan 'kerroinvaikutuksesta'

Heinäkuun 24. päivänä 2026 pidettiin Yuxin kaupungissa Yunnanin maakunnassa 'Kuudentoista maakunnan (alueen, kaupungin) matematiikan vuosikokous ja soveltavan matematiikan sekä tekoälyn akateeminen foorumi', joka kokosi yhteen yli 500 asiantuntijaa ja matematiikan opettajaa. Foorumin aikana Beidian Shuzhin pääteknologiajohtaja Dou Dejing ja Kiinan tiedeakatemian akateemikko Zhou Xiangyu kävivät syvällisen keskustelun tekoälyn kyvyistä matematiikassa, matemaatikoiden muuttuvasta roolista sekä tekoälyn tukeman matemaattisen tutkimuksen tulevaisuudesta. He esittelivät tietoja, joiden mukaan valtavirran suuret kielimallit kehittyivät vuoden 2024 ylioppilaskokeiden matematiikan hylkäämisestä vuoden 2026 yli 135 pisteen (140:stä) tuloksiin, ja ne pystyvät nyt saavuttamaan täydet pisteet matematiikkaolympialaisissa ilman ennakkotietoa tehtävistä. Zhou kuitenkin korosti, että tekoälyn ydinvahvuus on kaavanhakemisessa ja mekaanisessa päättelyssä, ei aidossa matemaattisessa innovaatiossa, ja tekoälyn matemaattisten johtopäätösten selitettävyys on edelleen ratkaisematon pullonkaula. He keskustelivat Jacobin konjektuurista ja totesivat, että tekoälyn kyky suorittaa laajamittaisia heuristisia hakuja ja laskentoja voisi auttaa vastaesimerkkien löytämisessä, mutta 'musta laatikko' -ongelma säilyy. Zhou vakuutti, että matemaatikkoja ei korvata, koska he tekevät sitä, mihin koneet eivät pysty: ehdottavat uusia kysymyksiä, rakentavat uusia viitekehyksiä ja löytävät uusia lakeja. Hän nosti esiin myös akateemisen rehellisyyden huolenaiheet liittyen tekoälyn tuottamiin tuloksiin ja viittausetiikkaan. Dou esitteli Beidian Shuzhin teollisen lähestymistavan, mukaan lukien laskentakeskusten rakentamisen yli 30 kaupunkiin, koko pinon 'data-laskenta-malli-sovellus' -järjestelmän sekä käytännön sovellukset terveydenhuollossa ja valmistuksessa, kuten ihotautimallin, joka saavuttaa 90 prosentin tarkkuuden välikokelas-tason kokeissa ja lyhentää diagnoosiaikaa 20 prosentilla. Artikkelissa mainitaan myös, että Anthropicin Claude Fable 5 -malli väitetysti kumosi Jacobin konjektuurin viikonlopun aikana, ja siinä siteerataan Fieldsin mitalistia Efim Zelmanovia, jonka mukaan tekoäly on kuin 'erittäin lahjakas nuori matemaatikko', mutta ihmisten on kannettava vastuu todellisesta todisteiden ymmärtämisestä ja oivallusten erottamisesta.