图灵奖得主迪菲智源大会呼吁着力研发形式化方法

7月1日，小米汽车官方微博发布消息称：2026年6月，月交付量稳定突破30000台。信息虽简短，但详细数据仍需参考乘联会的统计报告。 小米官方未单独公布具体数字，不过乘联会在6月全国乘用车市场分析中清晰列明：小米汽车新能源乘用车零售销量达34738辆，其中主力车型SU7批发销量突破2万辆，具体为20

Meta在加拿大阿尔伯塔省投资约100亿美元建设首个海外数据中心，装机容量1吉瓦，预计两三年内建成。同时探索云计算业务，向第三方出售算力。市场对其资本支出逻辑和回报存在质疑。

苹果A20Pro芯片未用LPDDR6，沿用LPDDR5X，通道从4条增至6条，位宽达96-bit，优化AI推理、多任务及影像性能，成本与体验间优先释放当下性能。

三星宣布全面启动人工智能转型，将在所有关联公司部署双子星、ChatGPT等生成式人工智能工具，覆盖设计、研发、生产、营销、服务等八大核心业务环节，同时设立专职人工智能组织，对高管和员工开展系统培训，并发布人工智能转型共同愿景宣言。

电子特气是半导体制造第二大耗材，市场规模预计从2024年195亿元增至2030年708亿元。硅烷材料凭借“气体+含硅”双重特性，从光伏辅料向硅碳负极、光纤核心原料跃迁，成为重要增长极。