但面对AI forMath的新范式，仍需在三个方面加快布局：一是建设面向数学的形式化验证平台和开源数学数据库；二是推动通信企业与数学界、AI公司协同，避免重复造轮子；三是将AIfor Math纳入6G基础…...
