中国建立人工智能数学联盟，而西方专家担心智能化会使数学家变笨
中国与八所机构共同成立了由刘振东领导的数学和人工智能实验室联盟，旨在推进数学研究中的人工智能技术，而西方数学家担心人工智能生成的证明会削弱研究人员的理解能力。
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.