5篇AI生成数学论文通过同行评审，Axiom Math获2亿美元融资
初创公司Axiom Math的AI系统8篇数学论文中5篇通过同行评审，完成2亿美元A轮融资。00后创始人洪乐潼从斯坦福退学创业，团队包括前Meta工程师与终身教授，用形式化证明消除AI幻觉。
成熟节点代工格局：GlobalFoundries、UMC、SMIC各自为战
在台积电与三星冲刺2nm的同时，GlobalFoundries、UMC和SMIC三大成熟节点代工厂正以截然不同的策略扩张22nm及以上产能。GlobalFoundries深耕特色工艺，UMC借Intel进入12nm FinFET，SMIC则极限利用DUV光刻，各有侧重。
完美随机性首次实现：ETH Zurich利用量子纠缠生成可认证随机数
苏黎世联邦理工学院利用量子贝尔测试首次生成可认证的完美随机数。通过两个纠缠的超导芯片和30米冷却链路，研究实现了随机性放大，为加密、区块链等领域提供了基于物理定律的可靠随机源。
Sinterit推出BIANCO2紧凑型SLS 3D打印机，主打开放材料生态
波兰SLS 3D打印机制造商Sinterit推出BIANCO2紧凑型SLS系统，采用开放式材料架构，支持多达137个可调参数，兼容第三方粉末，适用于医疗、汽车、消费产品等终端应用。设备配备30W CO₂激光源，构建体积130×180×330 mm。
摩托罗拉就购物应用遭劫持事件作出回应：称系配置错误，已修复
摩托罗拉对Smart Feed预装应用劫持Amazon等购物应用的事件作出回应，确认该行为无意且限于部分美国用户，已通过修正路由配置修复。包括Motolora Razr Ultra 2025在内的机型将不再受影响，但公司未解释事件的具体成因。
宏碁提前发布新款游戏笔记本Predator Helios Neo 18，配备32GB内存与165Hz屏幕
宏碁提前推出Predator Helios Neo 18游戏笔记本（PHN18-I71），搭载Core i9-14900HX、RTX 4070、32GB内存、165Hz屏幕，欧元区先行发售，定价2,799欧元。
Meta推出Facebook Plus和Instagram Plus订阅服务，月费3.99美元
Meta推出Facebook Plus和Instagram Plus订阅服务，月费均为3.99美元（约合28.7元），提供故事增强、自定义图标等功能，与WhatsApp Plus构成付费矩阵，全球逐步推送。
Rivian R2 于 6 月 9 日正式交付，订单邀请与试驾同步启动
Rivian 宣布 R2 SUV 于 6 月 9 日开启订单邀请、交付和试驾，交付周期仅 2-6 周。首发版售价 $57,990，2027 年将推出 $45,000 基础版，目标直指特斯拉 Model Y。
《使命召唤》确认登陆Nintendo Switch 2，首款作品或为《现代战争4》
据可靠爆料人NateTheHate确认，《使命召唤》将登陆Nintendo Switch 2，首款作品或为《现代战争4》。微软收购承诺、封面泄露与招聘广告均指向这一方向。
北京大学开发适配华为LogicFolding架构的3D芯片设计EDA工具
北京大学集成电路学院推出专为华为LogicFolding架构打造的电子设计自动化（EDA）工具原型，采用真3D整体优化方法，在测试中实现内部连线长度缩减30%并改善性能与散热。该工具为华为实现无需EUV的1.4nm等效制程目标提供了设计层支持。
iFLYTEK AI Glasses 技术解析：40克机身如何承载AI翻译与AR显示
iFLYTEK AI Glasses 是一款40克重的AI翻译与AR显示眼镜，采用Micro LED光学引擎、波导显示、麦克风阵列及读唇技术，可在高噪环境提升翻译准确率50%以上，支持在线/离线/AR三种翻译模式，面向跨国商务与企业管理者。
高通推出 Snapdragon C 系列 SoC，面向 300 美元以上入门级笔记本
高通在 Computex 前发布 Snapdragon C 系列 SoC，定位低于 Snapdragon X 系列，面向 300 美元（约 2160 元）以上入门级笔记本。内置 NPU 并强调全天续航，与 MacBook Neo 和 Chromebook 竞争，OEM 包括 HP、宏碁、联想，首批产品 2026 年下半年上市。