Éles ellentét bontakozott ki a Nyugat és Kína között a mesterséges intelligencia matematikai alkalmazásában. Míg Nyugaton 25 Fields-érmes matematikus óv az AI által generált bizonyításoktól, Kínában Shing-Tung Yau vezetésével megalakult a Yau Laboratory Alliance for Mathematics and Artificial Intelligence, amely nyolc intézményt és több mint 1000 kutatót fog össze.
A nyugati szakértők főként amiatt aggódnak, hogy az automatizált eszközök erodálják a matematikai megértést, és a kutatók függővé válnak olyan rendszerektől, amelyek működését nem tudják követni. Ezzel szemben a kínai stratégia célja kifejezetten a specializált AI-modellek építése, a géppel ellenőrizhető bizonyítások kidolgozása és az átlátható AI-érvelés megteremtése.
Az eredeti szöveg (The Decoder)
As Western mathematicians push back against AI, China is doubling down. Fields Medal winner Shing-Tung Yau and a group of leading Chinese mathematicians launched an alliance on Sunday in Beijing to push AI into math research. The "Yau Laboratory Alliance for Mathematics and Artificial Intelligence" unites eight institutions and aims to build a network of over 1,000 researchers, the South China Morning Post reports. Yau warned that China is falling behind the US.
In the West, skepticism dominates. Twenty-five Fields Medal winners, including Terence Tao and Peter Scholze, worry that AI-generated proofs erode mathematical understanding and make researchers dependent on tools they can't follow. Parts of the community are calling for a boycott of AI-generated proofs, while others say they're shocked by the sheer volume of automated submissions. China, meanwhile, wants to build specialized models, develop machine-verifiable proofs, and create transparent AI reasoning.
Even among experts who use AI, there's no consensus on whether it produces genuine mathematical insight or just brute-forces its way through known methods, or if that distinction even matters.AdAd
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
