标签：深度 第6页

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

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

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

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

山东：春满齐鲁 春日经济热力全开 眼下，齐鲁大地春潮澎湃。从定格春光到装备消费，多元业态共绘春日经济新图景。 山东省日照市五莲县大旺村300余亩樱桃花竞相绽放。当地以花为媒，举办赏花活动，融合歌舞表演、非遗市集、农特产品销售等，打造一站式春...

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