标签：人工智能 第52页

当AI（人工智能）技术以指数级速度重构产业格局、抹平软件与算法的竞争门槛，资本市场的估值逻辑也在发生变化，一批具备“重资产、低淘汰”特征的“HALO”资产异军突起，成为资金追捧的新焦点。 HALO是“Heavy Assets,Low Obs...

人民网北京4月8日电 （记者许维娜）“此次全国服务业大会的召开，标志着我国服务业发展进入了从‘量的积累’向‘质的跃升’加速转变的新阶段。”日前，国家发展改革委国家信息中心经济预测部政策仿真实验室主任、研究员肖宏伟接受记者采访时表示，随着各项...

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

4月7日，世界卫生日。今年国家卫生健康委将中国主题确定为“共享科技创新，携手共促健康”。从传染病防控到人工智能筛查慢性病，从中医药数智化到智慧养老……科技创新赋能医疗服务，点亮每一个人的健康福祉。 传染病防控跑出“加速度” 4月，气温升高，...

人民网北京4月7日电 （记者孙博洋）近日，市场监管总局发布数据显示，“十四五”期间，市场监管总局大力推动开展质量基础设施“一站式”服务，有机融合计量、标准、认证认可、检验检测等要素资源，全国已建成各类质量基础设施“一站式”服务平台2984个...

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

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

4月6日，记者从商务部获悉，商务部会同中央网信办、工业和信息化部、农业农村部、文化和旅游部、市场监管总局等5部门印发《关于更好服务实体经济 推进电子商务高质量发展的指导意见》（以下简称《意见》）。《意见》从着力赋能增效、加强创新引领、推进高水平开放、营造良好生态、加强支撑保障等五个方面提出16条举措，构建电子商务高质量发展框架体系。