标签：需求 第7页

随着我国“人工智能+”行动的深入推进，各类智能体及AI应用广泛渗入生产生活场景。而近期频发的AI安全事件，不仅引发公众关注，也成为产业界与学界协同攻坚的重要方向。近日，全国网络安全标准化技术委员会（以下简称“网安标委”）正式组建“人工智能安全标准工作组”（WG9），标志着我国人工智能安全标准体系建设进入系统性推进阶段。

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

2026年清明假期收官，在多地中小学春假与清明假期连休、三天假期不调休的双重利好下，全国出行市场迎来“淡季不淡”的火热行情，人员流动规模、文旅消费活力均创下历年清明假期同期新高。 记者6日从交通运输部获悉，4月4日至6日清明假期期间，全社会...

近日，重庆张雪机车工业有限公司（以下简称“张雪机车”）斩获世界超级摩托车锦标赛（WSBK）葡萄牙站双回合冠军，创造了中国摩托车制造商在WSBK赛事中的历史性突破，引发广泛关注。 聚光灯下，这是一家成立仅两年、曾一度连工资都发不出的“草根”企...

中国人民银行（下称“央行”）日前发布公告，4月7日，央行以固定数量、利率招标、多重价位中标方式开展8000亿元买断式逆回购操作，期限为3个月（89天），到期日为2026年7月5日。

3日，在北京经济技术开发区(亦庄)举办的2026太空算力产业大会上，业界首个太空算力产业协同平台“太空算力专业委员会”(以下简称“专委会”)正式成立。 太空算力，是将计算、存储、网络等算力基础设施部署到地外空间，形成面向在轨任务的智能计算能...

中国央行3日宣布，将于4月7日以固定数量、利率招标、多重价位中标方式开展8000亿元(人民币，下同)买断式逆回购操作，期限为3个月(89天)，到期日为2026年7月5日(遇节假日顺延)。 数据显示，4月有11000亿元3个月期买断式逆回购到...

记者从中国铁路上海局集团有限公司获悉，长三角铁路4月4日发送旅客466万人次，超过2025年5月1日单日发送旅客426.8万人次的最高纪录，创单日客发量历史新高。 当前长三角地区春暖花开，适逢清明踏青祭扫高峰，“春游热”持续升温。江苏、浙江...

记者4日从湖北省文旅厅获悉，2026年清明假期首日，湖北文旅市场春日经济“热力十足”。4日，湖北省A级旅游景区共接待游客260.33万人次，同比增长15.41%。 此前，湖北省文旅厅推出全省15条春假精品旅游线路、10个宝藏小城、10个文旅...