2026-08-28 13:19
人工智能大模型正在不断突破数学难题,数学家会不会被人工智能取代?中国科学院院士、北京大学北京国际数学研究中心主任田刚表示,当前AI for Math(人工智能与数学研究的深度融合)发展迅速,人工智能已能帮助人类寻找、解决一些数学问题,但一个关键问题随之而来:人工智能给出的证明是否正确,最终仍需要人来判断。“一定要以开放的心态拥抱人工智能、用好这个工具。”田刚说,人工智能的发展其实对数学家提出了更高要求,更要学好数学和专业知识、打牢基础,提升人的判断能力。
编辑:李典超