行业观察

1956–1970 年的机械梦想，阿隆佐·丘奇与艾伦·纽厄尔用「逻辑理论家」叩响自动化推理的大门，用穷举搜索试图穷尽数学真理的空间——但组合爆炸的幽灵，在第一个证明找到之前，就已经宣告了符号主义的死刑；1970–2010 年的形式化坚守，以 Coq、Isabelle、ACL2 为代表的交互式定理证明器（ITP），将数学严格性推至人类历史的顶峰——每一行代码都经过类型系统的铁壁校验——完成从「机械搜

2026年7月6日星期一今日热点新闻★ 领！市面1、辽宁将打造世界级高端船海装备制造基地2、淡水河谷20艘三燃料散货船项目敲定★ 斩！大单3、黄埔文冲获2艘集装箱船建造合同4、国贸船舶获2+2+2艘多用途船建造合同5、38亿元！HD韩国造船海洋获下半年首单6、大津重工获8+2艘1A冰级多用途船订单★ 交！新船7、中远海发第五艘多用途粮食船命名交付8、象屿海装第100艘Ultramax散货船交付01

当前，第四代半导体产业正加速从实验室研发向工程化应用转化。为回应科研界与产业界对高质量外延片的迫切需求，杭州镓仁半导体有限公司（下称“镓仁半导体”）在氧化镓厚膜外延片取得突破性进展的基础上，正式推出高性能薄膜外延片新品，为功率器件与射频器件的研发提供核心材料支撑。薄膜外延片技术亮点一、晶体质量达到国际先进水平。晶圆内5点XRD摇摆曲线半高宽（FWHM）均低于30 arcsec，证实外延缺陷密度低，

根据中国科学院科技论文预发布平台ChinaXiv最新公示论文，华为半导体负责人何庭波于7月3日发布《面向多层级电子系统的时间缩微理论》（业内也称“韬定律”）V2版本。韬定律是华为提出的后摩尔时代半导体演进新范式，核心是以系统时间常数τ（信号传输与响应延迟）为统一优化目标，用“时间缩微”替代传统摩尔定律的“几何缩微”，通过器件、电路、芯片、系统全栈协同创新，在不依赖最先进光刻工艺的前提下，持续提升芯

北京时间2026年7月4日17时30分，我国在太原卫星发射中心使用长征六号改运载火箭，成功将千帆极轨13组卫星发射升空，卫星顺利进入预定轨道，发射任务取得圆满成功。千帆极轨是由上海垣信卫星科技有限公司（垣信卫星）运营的低轨巨型星座，计划最终布局超1万颗卫星。在MWC26上海期间举办的WBBA全球宽带发展论坛上，垣信卫星CEO沈洪波透露，千帆星座将于2026年年底完成一阶段324星全球组网，正式面向

2026年7月4日，华为海思半导体业务负责人何庭波在中国科学院科技论文预发布平台ChinaXiv上更新了其署名论文《面向多层级电子系统的时间缩微理论》（A Time Scaling Theory for Multi-Layer Electronic Systems）。新版论文在5月25日版本的理论框架基础上，补充了大量工程落地细节、实测量化数据与产品演进路线，进一步完善了以时间常数τ为核心的后摩尔

中国联通发布《中国联通深化机构改革激发高质量发展新动能》，披露新一轮机构改革安排。公开信息显示，这次改革围绕“连接、算力、服务、安全”四大核心赛道展开，新设或调整产品创新市场部、三类服务事业群、算网相关机构、创新成果转化和交付事业群、生态合作部、财务资本部、共享服务中心等一批机构。如果只把它看成一次总部部门调整，可能会低估其含义。中国联通过去这些年的组织改革，已经不是简单的“加部门”或“减部门”，

周报WEEKLY本周热点：邱宝华任中国联通副总经理、党组成员；铱星落幕，四大天王悉数易主；3700天！于英涛“挥别”新华三，在最好的时代；• 第375期 •邱宝华任中国联通副总经理、党组成员7月1日，据悉，邱宝华任中国联合网络通信集团有限公司副总经理、党组成员。邱宝华简历1977年9月生，大学本科，工程硕士，中共党员。曾任：中国移动福建公司党委委员、董事、副总经理，中国移动广西公司党委书记、董事长

北京时间2026年7月5日21时43分，垣信卫星在海南国际商业发射场，首次使用长征八号甲运载火箭成功发射千帆组网卫星，平板卫星堆叠规模首次提升至1箭20星，所有卫星准确送入预定轨道，顺利完成星箭分离，发射任务取得圆满成功。千帆星座增至238颗！千帆极轨是由上海垣信卫星科技有限公司（垣信卫星）运营的低轨巨型星座，计划最终布局超1万颗卫星。在MWC26上海期间举办的WBBA全球宽带发展论坛上，垣信卫星

ARRI 日前正式推出了全新固件升级安装包（SUP），适配 Hi-5/Hi-5 SX 无线手持控制器以及 NIA-1 网络接口适配器。核心性能汇总Hi-5 及 Hi-5 SX 固件 V3.5.2新增佳能 C400 摄影机控制授权功能修复 SmallHD 镜头叠加界面对焦距离显示异常问题NIA-1 固件 V1.2.2镜头同步功能无线网络支持新增佳能相机控制授权系统稳定性优化多项漏洞问题修复可控制佳能

近日，集团公司900余名员工线上线下参与了“三峡职工大思政课”劳模宣讲活动。新疆维吾尔自治区劳动模范——三峡能源光热运维分公司石勇讲述了《扎根戈壁守初心 情系一线践使命》的动人故事，分享了在风沙肆虐、高温酷暑的暑的极端环境下带领团队高质量完成新能源项目生产准备和运维管理的历程。▲石勇同志宣讲在新疆哈密的苍茫戈壁滩上，狂风卷着沙石日复一日掠过荒原，正午的烈日炙烤着大地，气温常常飙升至40度以上，而到

7月2日，中国-哈萨克斯坦材料基因工程与智能科学“一带一路”联合实验室（以下简称“联合实验室”）外方主任、“阿里·法拉比”哈萨克国立大学副校长Margulan Ibraimov一行来校调研。联合实验室中方主任李金山、常务副主任王洪强等实验室骨干以及哈分校相关工作人员参加了座谈交流，围绕2026年度上半年联合实验室建设进展及下半年工作计划开展了深入研讨。会前，Margulan Ibraimov 一行

2026年7月，南极熊获悉，加州理工学院研究团队利用3D打印技术重新设计锂离子电池正极的内部结构，用三维微晶格替代传统平面电极，在不改变电池基本化学性质的前提下提高了充放电效率，同时去除了对钴的依赖。△相关研究成果已发表在《ACS Energy Letters》上，研究题目为“微结构LiFePO4-碳锂离子电池电极的结构-传输关系”（传送门）二十多年来，锂离子电池为智能手机、笔记本电脑、电动汽车、

2026年7月，南极熊获悉，总部位于新西兰和荷兰的航天器开发商Dawn Aerospace（黎明宇航）已完成2500万美元（约合1.78亿人民币）的B轮融资，公司估值1.95亿美元（约合13.85亿人民币）。这笔资金将用于扩大卫星推进业务、推进可重复使用航天飞机Aurora（极光）的研发，以及在轨卫星燃料补给网络Loop（环路）的建设。△Aurora号航天飞机测试飞行与许多尚未实现盈利的太空初创公

南极熊导读：当3D打印的发动机部件从机器里走出来，下一步该去哪里？答案可能是精密加工。全球军火巨头Beehive Industries蜂巢工业的最新收购揭示了推进系统制造商的新逻辑：光有3D打印还不够，必须把打印、加工、组装、测试全部握在自己手里。△战争无人机用的发动机2026年7月4日，南极熊获悉，美国推进系统制造商Beehive Industries收购了Able Tool Corporati