标签：功不可没

今年“五一”假期，全国各地消费市场活力涌动，烟火气与获得感交织。在“扩大内需”“提振消费”的国家大政方针下，中国银联携手产业各方，充分发挥支付枢纽与数字化服务平台优势，依托云闪付App、银联卡、银联信用卡分期等全产品矩阵，在以旧换新、有奖发票、餐饮消费、文体赛事、票根经济等重点场景打出促消费“组合拳”，多个重点消费场景增幅显著，支付消费领域呈现出蓬勃发展的态势。

6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。