科技 第22页

工业和信息化部制定公布《移动电源安全技术规范》

4月初,工业和信息化部会同有关部门组织制定的强制性国家标准《移动电源安全技术规范》(GB 47372-2026)正式对外公布。《技术规范》设置了12个月的过渡期,将于2027年4月1日正式实施,将对规范移动电源市场、推动产业升级发展起到重要作用。

AI浪潮下“HALO”资产迎来长期发展机遇

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

三部门将联合开展个人信息保护系列专项行动

近日,中央网信办、工业和信息化部、公安部三部门联合发布公告,部署开展2026年个人信息保护系列专项行动,明确2026年将进一步深入治理APP、SDK等服务产品以及互联网广告、教育、交通、卫生健康、金融等重点领域违法违规收集使用个人信息典型问题。

我科学家发现首个河外超紧致X射线双星

记者6日从厦门大学获悉,该校物理科学与技术学院顾为民教授团队与南京大学天文与空间科学学院李志远教授团队合作,揭示了首个银河系外超紧致X射线双星的物理性质,为探索遥远星系中的天体演化打开全新窗口。相关研究成果当日发表于综合性学术期刊《创新》。

应对AI技术赋能背后风险挑战 我国人工智能安全标准体系加速构建

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

国内首次实现AI自主解决数学开放问题

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

商业头条网www.sycn.cn

商业头条网是专注于商业领域的综合性资讯平台,致力于为商务人士、投资者及行业从业者提供实时、权威、深度的商业资讯与分析。
通过整合全球商业动态、行业趋势及专业洞察,助力用户抢占先机,赋能商业决策。

关于我们联系我们