中國建立人工智能數學聯盟，而西方專家擔心智能化會使數學家變笨
中國與八所機構共同成立了由劉振東領導的數學和人工智慧實驗室聯盟，旨在推進數學研究中的人工智慧技術，而西方數學家擔心人工智慧生成的證明會削弱研究人員的理解能力。
the yau laboratory alliance for mathematics and artificial intelligence was launched in beijing, uniting eight institutions and aiming to build a network of over 1,000 researchers. western mathematicians, including fields medal winners terence tao and peter scholze, express skepticism about ai-generated proofs, worrying they erode mathematical understanding. in contrast, china seeks to advance ai in math research, develop specialized models, and create transparent ai reasoning. there is no consensus among experts on whether ai produces genuine mathematical insight or just brute-forces its way through known methods.