行业观察

法国数学家皮埃尔·德·费马在17世纪提出的著名猜想——当整数n大于2时，方程aⁿ+bⁿ=cⁿ不存在正整数解，经过350多年的研究，终于在1995年由安德鲁·怀尔斯完成最终证明。然而，这一数学里程碑的验证过程长期依赖人工审阅，复杂证明的每个环节都需要数学家耗费大量时间追踪依赖关系、验证逻辑链条。如今，人工智能技术为这一领域带来了新的突破。人工智能研究机构Anthropic宣布，其开发的Claude智

人工智能在数学领域取得重大突破——Anthropic公司研发的Claude系统成功完成费马大定理首个端到端形式化证明，这项耗时11天的工程创造了计算机辅助数学研究的新纪录。整个证明过程生成约1300万行Lean代码，产出30300个可验证定理，其中29500个中间结论被纳入最终证明，代码规模达到Lean核心数学库Mathlib的五倍以上。与传统数学证明不同，形式化证明要求将人类可读的数学推导转化为

岚图品牌旗舰MPV梦想家9正式开启预售，预售价区间为42.99万元至52.99万元。此次推出的新车包含Ultra、Ultra+和礼尊版三个版型，提供插混和纯电两种动力选择，共计五个配置版本。消费者在预售期间可享受最高5万元的购车权益，展车已陆续抵达全国门店。智能驾驶方面，梦想家9基于全域L3级电子电气架构开发，搭载华为乾崑智驾ADS 5系统。该系统配备37个感知传感器，其中包含新一代896线双光路

快科技9月5日消息，雷军在社交平台放出小米澎程N70武士黑套装实拍图，卢伟冰也同步补充这套外观套件的相关信息，这套黑化风格套装，N70系列和N90 Max都可以选。武士黑套装采用曜石黑车漆，整车一共有10处细节做熏黑处理，整车走深邃全黑的风格。从外观来看，整套黑化套件把车标、窗框、轮毂等多处外观部件全部处理成黑色，整车视觉效果很有冲击力，不少网友直接把它叫做暗夜骑士版本。现在官方还没有公布这套套装

快科技9月5日消息，近日，一段波场TRON创始人孙宇晨评价小米的视频再度被翻出，引发热议。视频中孙宇晨对小米集团及创始人雷军的战略布局发表了个人看法，核心观点是建议雷军“别卷汽车了，应该去卷机器人”。孙宇晨在视频中认为，小米进军汽车制造业有些后知后觉。他分析称雷军早期投资策略与腾讯相似，后来因为汽车估值过高而决定亲自下场造车。对于小米汽车本身，孙宇晨承认配置不错，但认为21万元左右的定价对目标群体

IT之家 9 月 5 日消息，科技媒体 NotebookCheck 昨日（9 月 4 日）发布博文，报道称瑞典零售商 Retrospelbutiken 已上架 Switch 2 版《塞尔达传说：时之笛》重制版页面，显示该游戏于 2026 年 11 月 12 日发行，标价 849 瑞典克朗（当前汇率约合 595 元人民币）。IT之家此前报道，任天堂将于 2026 年 9 月 8 日、9 日连续举办两

个人履历吴建军吴建军，男，中共党员，博士、二级教授、博士生导师，现任湖南工业大学党委委员、副校长。负责人事人才和师德师风建设、基建、工会工作，分管人事处、教师工作部，基建处，工会，协管学科建设与发展规划处（包教委秘书处）。联系土木与环境工程学院、经济与管理学院、语言文化与传媒学院。肖新祥肖新祥，男，中共党员，博士，现任湖南工业大学党委委员、副校长。负责资产管理、实验室建设、国际合作交流、校园信息化

快科技9月5日消息，据新浪科技报道，近日，泡泡玛特创始人王宁和LVMH集团主席兼CEO Bernard Arnault（贝尔纳·阿尔诺）在法国巴黎LVMH集团总部会面，这也是二人首次会面，现场氛围松弛热烈，仿佛老友见面，王宁还现场赠送阿尔诺一只拉布布。据悉，王宁现场赠送阿尔诺的是MEGA LABUBU 十周年纪念款，属于全球限定发售款式。值得一提的是，一同参与会面的还有LVMH集团大公主、迪奥Di

快科技9月5日消息，针对近期全行业内存芯片持续涨价的普遍行情，小米集团合伙人、总裁、手机部总裁卢伟冰在公开采访中首次针对这一轮供应链成本波动的影响做出了明确回应。谈及存储价格持续上行给所有终端品牌带来的经营压力，他的态度相当坦然，不管上游原材料价格走势是涨是跌，整个行业的发展总归要往前走。小米团队在预判到这一轮存储涨价的大趋势之后，很早就敲定了核心应对原则，绝对不能简单地把上涨的成本直接转嫁到普通

【环球网科技综合报道】9月5日消息，国际数据公司（IDC）最新发布的报告显示，2025年中国零售云市场规模达到135亿元人民币，同比增长12.4%。IDC认为，从客户需求和采购逻辑来看，零售企业正在由“采购系统”转向“采购结果”。大型企业更关注开放架构、深度集成和多云协同；中型连锁更关注标准化产品、行业模板和实施效率；中小企业则更加关注成本、易用性和部署速度。尽管需求存在差异，采购逻辑正在趋同：一

开源智能体框架OpenClaw近日完成重大版本迭代，2.0版本正式上线后引发开发者社区广泛关注。该版本在230天内完成106次迭代更新，最终以933位贡献者、16,962个代码提交的规模，构建起连接消息平台、浏览器、远程终端和团队协作的智能工作流系统。新版本突破传统工具属性，将Discord、Slack等11个主流通讯平台与AI编程助手、本地/云端资源进行深度整合。通过构建"自托管AI网关"，实现

谷歌翻译近日迎来重要功能更新，针对不同操作系统用户推出差异化优化方案。iOS版本新增的听筒播放模式，允许iPhone用户直接将设备贴近耳部收听实时翻译内容，无需外放或连接耳机即可清晰获取翻译结果。该功能有效解决了公共场合使用翻译时的隐私保护问题，同时避免外放声音干扰他人。此前iOS用户在使用实时翻译功能时，只能通过扬声器外放或连接有线/无线耳机两种方式收听内容。更新后的听筒模式通过传感器智能识别设

快科技9月5日消息，小米平板9 Pro Max将于9月7日发布，与小米18 Fold中折叠同台登场。官方今天透露新机部分信息，小米平板9 Pro Max搭载13.3英寸3.4K高清原色屏，并适配各类PC级应用，强化大屏生产力体验。采用3:2黄金生产力比例，相比传统16:10屏幕，纵向显示面积进一步增加，浏览文档、表格、网页时，一屏可以展示更多内容，减少频繁上下滑动操作。支持全功能Type-C直连，

快科技9月5日消息，车评人韩路购入的宇通C12顶配大巴，已经送到天津改装厂，正式开启房车改造工作。这台12米大巴光本体价格就高达80万，预估选配、改装费加起来不低于20万，全部落地算下来超过百万，目标打造成一台超大移动豪宅。这台大巴选装配置拉满，换上潍柴9.5升L6涡轮增压发动机，搭配空气悬架，车身高度可以自由调节。另外还有四轮盘刹、铝合金轮毂、中空隔音玻璃，地板做取平处理，银色金属漆也是单独定制

机器人前瞻（公众号：robot_pro） 作者 | 刘俐杉 编辑 | 许丽思 机器人前瞻9月1日报道，今天，北京天下先智创机器人技术有限责任公司（下称“天工机器人”）宣布完成数亿元融资。本轮融资由初芯基金领投，经纬创投、合肥国资等机构跟投。本次募集资金将重点用于分拣类机器人扩大量产规模、基于人形的分拣机器人研发与商用化迭代及海外市场业务拓展。 企查查信息显示，此前，天工机器人累计完成两轮股权变更，