标签：范式 第8页

新华社北京4月7日电  4月7日,《新华每日电讯》发表题为《上海人工智能实验室发布“珠穆朗玛计划”——志在打造科学智能“全国中枢”》的报道。

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

4月2日，中国银联在上海正式发布《智能体支付开放协议框架》，并成功实现5笔生产系统验证交易。用户在航旅纵横的AI出行助手中输入“请为我购买一张8月1日，从上海到北京的机票。”AI出行助手快速对比各渠道机票价格，给出航班建议，测试者选择其一后，由AI助手自动关联用户信息并使用交通银行信用卡完成购买。出票成功后，该航班出现在航旅纵横首页的待出行计划中（相关功能暂时仅面向白名单用户开放）。

3月31日，中国人民银行、科技部、金融监管总局、中国证监会联合召开科技金融工作交流推进会。会议强调，继续加强有关部门、地方政府、金融机构等各方协同互动，扩大信息共享，加快建设技术要素市场，提高金融资源配置效率，推动金融资源更加精准投向科技创新领域。

聚焦新药设计与递送、生物化工及脑科学与类脑研究等6个方向，国务院国资委日前对外发布中央企业生物领域“十大基础科学问题”，邀请全球科技创新力量同题共答。

当前，大模型与智能体加速从数字世界走向物理场景，但具身智能、机器人落地仍面临动作卡顿等“不丝滑”难题。未来随着6G技术商用，其将为具身智能带来哪些变革？

　　25日，2026中关村论坛年会“人工智能主题日”新闻发布会举行。记者从会上获悉，本届主题日将打造“1+6”活动框架，聚焦“前沿技术”与“国际化”两大核心，以“交融·智享AI新范式下的全球创新与产业融合”为主题，活动贯穿2026中关村论坛年会全程。主题日活动致力于打造我国人工智能领域规格最高、规模最大、影响力最强的标杆平台，全面展现我国AI硬核实力。

在全球汽车产业深刻变革与国际贸易格局加速重构的背景下，全球南方国家高速的增长势头和巨大的发展潜力正得到越来越多的关注。业内专家表示，全球南方国家有望与中国新能源汽车产业链形成优势互补，带动中国和全球汽车产业的进一步升级。