标签：范式 第4页

人民网北京4月16日电 （记者孙阳）4月15日，2026酒仙桥论坛在北京国家会议中心、北京数字经济算力中心同步启幕。本届论坛以“国芯AI驭未来”为主题，聚焦AI赋能地方发展、驱动产业创新、引领技术突破等议题，共探智能经济新形态实践路径。 今...

近日，教育部、国家发展改革委、工业和信息化部、科技部、国家数据局联合印发《“人工智能+教育”行动计划》（以下简称《行动计划》），旨在一体推进人工智能人才培养和应用创新，统筹谋划基础环境和创新生态建设，系统构建智能时代的教育体系。

4月10日，一汽奥迪智电科技日暨智电旗舰新品发布会，在长春奥迪一汽超级智能生态工厂启幕。立足“十五五”数智化高质量发展新周期，一汽奥迪以一场“智电感官”科技大秀，全面彰显品牌在智电领域的深厚底蕴与领先实力。

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

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

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