行业观察

数学界迎来一场前所未有的震动——OpenAI最新发布的内部模型Astra在十个长期未解的数学难题上取得突破性进展。这份长达249页的论文不仅引发学术界热议，更被多位顶尖数学家评价为"现代数学史上最具分水岭意义的时刻"。其中最引人注目的是对非sofic群问题的彻底解决，这项困扰数学界27年的难题终于被攻克。Astra模型展现出的数学能力远超预期。该模型不仅证明了存在无限有限呈现的非sofic群，更通

IT之家 8 月 2 日消息，据科技媒体 Windows Latest 今天报道，Win11 系统自带的搜索功能并不算特别好用，经常无法找到最近访问过的文件。不过，微软正在通过“自动查找其他相关位置”新功能解决这种烦人的问题。IT之家从原报道了解到，微软 Win11 搜索不好用的根本原因在于，系统的索引范围只覆盖了部分文件夹。默认情况下，系统只会索引图片、文档、桌面等文件夹，并不会自动为下载等文件

据新华社呼和浩特8月2日电 2日，内蒙古自治区应急管理厅网站公布了内蒙古包钢板材厂重大容器爆炸事故调查报告。该事故发生于2026年1月18日，造成10人遇难、84人受伤。经调查认定，该事故为重大生产安全责任事故，对62名相关人员追责问责。1月18日15时01分许，包头市昆都仑区内蒙古包钢板材厂发生爆炸。经调查认定，爆炸的直接原因是1号球罐在运行时长期受到介质腐蚀、局部应力与交变载荷的耦合作用，球罐

中新网西安8月2日电(记者 阿琳娜)记者1日从西安光机所获悉，该所瞬态光学研究室姚保利研究员团队在无标记三维显微成像领域取得新进展。据介绍，光学衍射层析(ODT)是一种无标记、非侵入、定量化的三维显微成像技术，能够重建透明或半透明样品内部的三维折射率分布，在细胞生物学、组织病理学、微生物学和材料科学等领域具有重要应用价值。然而，传统ODT系统通常依赖马赫—泽德干涉仪结构、高相干激光光源以及机械扫描

IT之家 8 月 2 日消息，迈克尔 · 戴尔（Michael Dell）是戴尔科技（Dell Technologies）的创始人，近日他分享了自己公司 1984 年 7 月 31 日发布的季度财报，并表示：“这一页改变了我的人生。”这位亿万富翁在 X 平台发文称，正是那张纸上的数字说服了他的父母，让他们相信自己不需要回到大学继续深造。1984 年，他在美国得克萨斯大学奥斯汀分校的宿舍里创办了公司

今年是Nitish Mathur第四次来到ChinaJoy。展会第二天，在上海新国际博览中心的W4馆，Nitish Mathur不断起身，和前来问询的客户和同行进行交流。和其他参展商相比，这家来自新加坡的营销公司并未租下很大的展位，但他们来到这里的目的很直接——寻找客户。Adstacks Media是一家以效果为导向的数字营销机构。简单来说，其业务就是为品牌做各类广告，帮助品牌获得用户。对于游戏玩

行业扎堆涌入大模型赛道，追觅依然将智能家庭视为最重要的应用场景作为追觅科技全球总裁，常新伟日程排得密不透风。7月29日上午10点，刚结束北京、浙江生产基地和深圳等地的行程，常新伟如期出现在追觅科技总部 A2-201 会议室里。常新伟告诉《时代周报》，他就住在公司旁边，习惯每天早上8点左右到公司。这场专访被夹在多个会议中间。11点到11点半的核心团队会议散会后，马上又有另一拨业务人员鱼贯而入。202

视觉-语言-动作（VLA）模型将视觉与语言输入直接映射为动作序列，长期作为具身智能的主流基础框架。但仅依赖视觉和语言的大模型只能完成粗放、无接触、低容错的简单操作，面对需要精细物理接触的场景时精度受限，触觉感知的缺失使机器人难以感知接触力与表面物理特性。围绕触觉感知融入具身智能体系的方向，早期研究侧重于机器人本体硬件层面的优化；近期工作则在算法层面探索整合触觉感知的多模态融合、通用触觉表征构建等方

2日，内蒙古自治区应急管理厅网站公布了内蒙古包钢板材厂重大容器爆炸事故调查报告。该事故发生于2026年1月18日，造成10人遇难、84人受伤。经调查认定，该事故为重大生产安全责任事故，对62名相关人员追责问责。1月18日15时01分许，包头市昆都仑区内蒙古包钢板材厂发生爆炸。经调查认定，爆炸的直接原因是1号球罐在运行时长期受到介质腐蚀、局部应力与交变载荷的耦合作用，球罐内壁发生不可逆的“碱应力腐蚀

各市州科技局、财政局，省直管试点县市科技行政主管部门、财政局，省直有关部门，国家高新区管委会，中央驻湘高校和科研院所，省属本科院校和科研院所，各有关单位：为深入贯彻落实党的二十届三中、四中全会和省委十二届九次会议精神，积极推进省自然科学基金改革，强化基础研究目标导向和应用牵引，进一步提升资助效能，根据《湖南省自然科学基金项目管理办法》（湘科发〔2026〕14号）、《湖南省自然科学基金联合基金项目管

中国科学家博物馆的藏品中，有一张特殊的毕业证书——张炳炎于1955年8月出国，在苏联列宁格勒造船学院扫雷艇设计与工艺专业学习，落款是中华人民共和国教育部公章。张炳炎的毕业证书来源丨中国科学家博物馆这是一份补发的毕业证书，张炳炎在拿到它之前，已被提前召回国内，分配到上海船舶产品设计院，开启了长达五十多年的舰船研究设计生涯。可一头扎进船厂的张炳炎，最初想学的并不是造船，而是造飞机。想法的改变发生在19

新势力7月淡季销量分化加剧，零跑迈过月销10万辆门槛澎湃新闻 2026-08-02 09:57在7月这样的传统车市淡季中，造车新势力的月交付量迈过了10万辆大关。8月1日，多家造车新势力车企公布7月交付数据。从官方披露数据来看，本月造车新势力交付情况进一步分化：位于销量头部的零跑汽车再度刷新纪录，单月销量突破10万辆，成绩遥遥领先；鸿蒙智行、小鹏、蔚来、小米、理想等主流造车新势力的交付量集中在3万

快科技8月2日消息，今日，数码博主“i冰宇宙”透露，三星Galaxy Z Fold 8预售火爆，超出预期，目前三星已向供应商追加订单。该博主此前表示，三星今年对Galaxy Z系列折叠屏产品线进行了重大战略调整，将更多产能押注在阔折叠机型上。供应链消息显示，三星此前为Galaxy Z Fold 8规划的面板产量约为280万块，对应约280万部整机规模。随着预售需求增长，后续产量有望进一步上调。据了

IT之家 8 月 2 日消息，自《艾尔登法环》“黄金树幽影”（Shadow of the Erdtree）扩展包（DLC）发布已经过去两年，但开发商近期发布的一条新动态，让一些粉丝相信这款游戏或许还有更多 DLC 正在路上。IT之家注意到，除了针对多人衍生作品《艾尔登法环：黑夜君临》（Nightreign）的少量更新，以及 A24 正在制作的真人电影项目外，《艾尔登法环》这边一直没什么动静。因此，

【TechWeb】8月2日消息，据小米商城价格显示，今日起，小米多款手机正式涨价。此次涨价涉及多款机型，包括小米17系列、REDMI K90、REDMI Turbo等，涨幅300元至500元不等。具体如下：REDMI Turbo 5：从 2299 元起上涨到 2599 元起REDMI Turbo 5 Max：从 2499 元起上涨到 2799 元起REDMI K90：从 2799 元起上涨到 30