A nyugati matematikusok attól tartanak, hogy az AI által generált bizonyítások gyengítik a mélyebb megértést és függőséget alakítanak ki. Ezzel szemben Kína a mesterséges intelligencia matematikai alkalmazására épít: Yau Shing-Tung vezetésével nyolc int&e