IT之家 6 月 7 日消息，鸿蒙智行首款旗舰 MPV —— 智界 V9 已于昨日开启全国首批交付仪式。据官方透露，这款 MPV 上市 21 天， 大定订单突破 18000 台 。 智界汽车董事长兼首席执行官郭锐昨日发文谈及了此次交付。他透露， 智界 V9 超 80% 用户选择 Ultra 高阶版本 。通过大定 18000 台的数据进行估算，智界 V9 约有 14400 名用户购买了 Ultra 高阶版本，而 Ultra 版本的起售价为 45.98 万元。 智界 V9 Max：38.98 万元 智界 V9 Max+：42.98 万元 智界 V9 Ultra：45.98 万元 智界 V9 Ultra+：51.98 万元 郭锐还提及了“智界 2.0”。他称此次交付也是智界 2.0 时代的重要里程碑。参考IT之家此前报道，去年 8 月，奇瑞汽车与华为在深圳进行了智界品牌战略 2.0 合作协议签约。随后，智界汽车官方微博发文宣布： 智界品牌正式进入 2.0 阶段 。 全国首家鸿蒙智行智界用户中心・武汉白沙洲大道店也于去年 9 月揭幕 。 据介绍，智界进入 2.0 时代后，将打造“智界的三个‘专属’”，首先是设立专属智界双设计中心；其次是建立专属智界双研发中心；第三是建立专属智界用户中心。 回顾智界 V9，该车于 5 月 15 日上市， 售价区间 38.98 万-51.98 万元 ，尺寸为 5359×2009×1879mm、轴距达 3250mm，拥有辉光紫、雪域白、深海蓝、鎏金黑四款外观配色，以及绒霞紫、韶华杏、赤茶橘三款内饰配色。新车全系标配 38 个传感器， 是行业首款搭载 896 线激光雷达的 MPV 。 座舱方面，智界 V9 车内配备 12.3 英寸液晶仪表盘、双 17.2 英寸智能中控大屏以及 21.4 英寸吸顶屏，首发全域 NFC 座座皆可碰功能。新车 4 块智能隐私光幕玻璃支持毫秒级响应，开启后遮光率≥99.6%；一键隐私模式启动后，位置信息、麦克风、摄像头、网络等全面隔绝；全车采用静音设计，支持全维主动降噪 RNC。
IT之家 6 月 3 日消息，Momenta 昨日宣布已获得江苏省无锡市智能网联汽车道路测试与示范应用许可，并于今年 1 月起在当地启动相关测试工作。 Momenta 表示，该公司计划在 2026 年内于全球多个新城市及区域落地高阶自动驾驶，重点推进技术场景验证与民生出行服务探索。 IT之家从官方获悉，Momenta 此前已在国内上海、苏州等城市开展 Robotaxi 运营，在海外则覆盖了德国慕尼黑、阿联酋阿布扎比等地，并正积极拓展欧洲其他地区、新加坡及日本等市场。 在技术层面，Momenta 于今年上半年正式发布了 R7 强化学习世界模型，并已应用于 L4 级自动驾驶实践。该模型强调对物理世界的认知能力，可理解物体的物理属性、运动因果关系及潜在交互可能，从而实现更精准的预测与规划，提升车辆在博弈、选道及狭窄空间中的通行能力。 在国际化与生态合作方面，Momenta 已与 Uber、Grab、Lumo、享道出行等全球头部出行平台，以及梅赛德斯-奔驰等汽车制造商建立了战略合作，共同推动自动驾驶服务的规模落地。 数据显示，Momenta 的量产智驾方案搭载量在过去一年间已超过 80 万台，已交付量产车型超 70 款，累计定点车型超 200 款，量产落地覆盖十余个国家和地区。
IT之家 6 月 1 日消息，鸿海-裕隆合资电动汽车企业鸿华先进 (FOXTRON) 今日宣布与联发科技 (MediaTek) 达成战略合作： 鸿华先进生态系统的高阶车型将导入联发科天玑汽车座舱平台 C-X1 。 C-X1 采用 3nm 先进制程，整合 Arm v9.2-A CPU 与 NVIDIA Blackwell GPU，具备多模态 AI 互动能力，支持 5G、Wi-Fi、蓝牙通信技术。 鸿华的高阶车型解决方案在获得 C-X1 加持后将提供流畅的车内体验，包括直观车辆控制、先进安全功能、无缝串联娱乐、个性化互动 AI 助理，并打造完整的智能座舱车载通讯环境。 鸿华先进董事长李秉彦表示： 此次合作结合了我们先进的电动车平台与最佳的 AI 智慧座舱平台，携手打造具备高度扩展性的次世代智慧移动解决方案，聚焦于无缝、智慧且以用户为核心的体验。透过此合作，鸿华先进亦进一步强化我们持续推出符合市场发展需求之车辆解决方案的承诺。
IT之家 5 月 29 日消息，在今天进行的 2026 第三十届粤港澳大湾区车展上，上汽大众宣布 ID. ERA 5S 将于今年第三季度正式上市，该车号称是大众全球首款搭载城市 NOA 高阶智驾能力的轿车，配备“行云智行”高阶辅助驾驶、“云栖智舱”智能座舱。 参考官图，该车前脸采用封闭式设计，前大灯组内部拥有多条折线光源；车身使用半隐藏式门把手，车外后视镜融入了智驾小蓝灯。 规格方面，新车长宽高分别为 4836x1880x1505mm，轴距为 2766mm。搭载 1.5T 插电混动系统，其中发动机最大净功率为 77kW，驱动电机额定功率为 57.6kW，峰值功率为 130kW。新车综合续航可达 2000km，百公里亏电油耗仅为 2.82L。
开源一款高质量的高阶魔方求解器，古法+vibe 混合实现，整合了网络上的开源算法，可以快速解算出魔方 2~50 阶的求解步骤，（代码限制了 50 阶，可以自行解除限制，理论上支持无限阶），并且支持动画教学，支持拍照求解，并且支支持生成 pdf 逐步教程文档 由于 github pages 限制，演示图片不显示，建议下载代码本地部署、 演示： https://jingguanzhang.github.io/EasyCube/ 仓库： https://github.com/jingguanzhang/EasyCube
开源一款高质量的高阶魔方求解器，古法+vibe 混合实现，整合了网络上的开源算法，可以快速解算出魔方 2~50 阶的求解步骤，（代码限制了 50 阶，可以自行解除限制，理论上支持无限阶），并且支持动画教学，支持拍照求解，并且支支持生成 pdf 逐步教程文档 由于 github pages 限制，演示图片不显示，建议下载代码本地部署、 演示： https://jingguanzhang.github.io/EasyCube/ 仓库： https://github.com/jingguanzhang/EasyCube
开源一款高质量的高阶魔方求解器，古法+vibe 混合实现，整合了网络上的开源算法，可以快速解算出魔方 2~50 阶的求解步骤，（代码限制了 50 阶，可以自行解除限制，理论上支持无限阶），并且支持动画教学，支持拍照求解，并且支支持生成 pdf 逐步教程文档 由于 github pages 限制，演示图片不显示，建议下载代码本地部署、 演示： https://jingguanzhang.github.io/EasyCube/ 仓库： https://github.com/jingguanzhang/EasyCube
IT之家 5 月 23 日消息，今日，大众汽车集团迎旗下焕新与众 06、全新与众 07 双车正式上市并启动交付，两款车型将率先搭载基于征程 ® 6M 芯片的行云智行智能辅助驾驶系统。 据官方介绍，该方案由大众汽车集团旗下 CARIAD 与地平线合资公司 —— 酷睿程量身打造， 标志着酷睿程智驾方案实现首次量产落地 ，也意味着地平线与大众汽车集团正式迈入成果落地与商业闭环阶段。 与众 06、与众 07 搭载的行云智行智能辅助驾驶系统， 可实现高速 NOA 领航辅助及智能泊车功能 ，覆盖自动变道超车、智能上下匝道、紧急跨线避让障碍物、遥控泊入泊出等高频实用场景，标配同级唯一的跨楼层记忆泊车功能。 IT之家注意到，2026 年年底，与众 06、与众 07 还将推出搭载基于征程 ® 6H 芯片的酷睿程高阶辅助驾驶系统的版本。届时， 两款车型将全面进阶城市 NOA 领航辅助 ，实现从“车位到车位”的无缝衔接，适配城市 U 型路口掉头、窄路会车、闸机智能识别等复杂城市路况。 相关阅读： 《 大众安徽新款与众 06 上市：限时权益价 13.49 万-14.49 万元，528km 续航 》 《 金标大众首款轿车与众 07 上市，限时权益价 10.99 万-11.99 万元 》
5月19日，Google官方宣布对Gemini计费与订阅体系进行重大调整。受到大模型及智能体（Agent）算力消耗暴增的影响，Google正式取消了原有的每日固定提问次数限制，转而采用与微软GitHub Copilot类似的“基于算力消耗（Compute-based）”的新计量模式。 新规则将综合考量用户提示词的复杂度、所调用功能（如视频生成、深度研究等）以及对话历史的长度。用户的算力额度将每5小时刷新一次，并设有每周最高上限。若用户耗尽高阶模型额度，系统会自动将其降级至轻量模型以确保服务不中断，用户亦可选择额外购买按需付费的算力点数（AI credits）。 伴随计费模式的变更，Google在2026年I/O大会上同步调整了AI会员的定价与权益。Google正式推出每月100美元的全新AI Ultra基础版方案，主要面向开发者与技术主管，提供比Pro方案高5倍的算力额度，并捆绑20TB云存储及YouTube Premium权益。同时，最高阶的AI Ultra旗舰版月费由250美元下调至200美元，算力额度达标准用户的20倍。此外，月费20美元的AI Pro用户将免费获赠YouTube Premium Lite服务，而月费8美元的AI Plus用户的算力额度则为标准用户的2倍。 多模态与智能体应用在此次调整中全面落地。全新推出的Gemini Omni模型主打全模态多媒体创作，支持从单张照片或视频一键应用模板并 conversational 迭代剪辑，同时在创意工作室Google Flow中实现了场景间角色一致性与声音保留。针对代码与智能体开发的Gemini 3.5 Flash模型也已向Plus、Pro和Ultra订户全量开放。在应用端，基于智能体技术的Gmail AI收件箱与Gemini每日简报（Daily Brief）正式在美上线，可自动梳理日程并生成回复草稿。针对Ultra用户的AI数字助理Gemini Spark将于下周在美开启Beta测试，而AI Ultra 200美元档位的全球用户将能率先体验可融合街景技术构建虚拟世界的Project Genie研究原型。 查看评论
想每次新建会话都锁定高阶thinking模型捏捏 1 个帖子 - 1 位参与者 阅读完整话题
IT之家 5 月 11 日消息，上汽集团发布官方微博今日放出了上汽大众 ID. ERA 5S 汽车官图。 新车将搭载“行云智行”高阶智能辅助驾驶系统与“云栖智舱”智能座舱 ，主打德系美学 + 高阶智能。 IT之家注意到，工信部在 5 月 9 日晚发布了第 407 批《道路机动车辆生产企业及产品公告》新产品公示， 上汽大众 ID. ERA 系列首款轿车 5S 现身 。该车尺寸为长 4836mm、宽 1880mm、高 1505mm，轴距为 2766mm。 动力方面，新车将搭载 1.5T 插电混动系统，其中发动机最大净功率为 77kW，驱动电机额定功率为 57.6kW，峰值功率为 130kW。
科研党，有高阶模型需求，体验过gpt pro模型，确实比普通thinking顶。目前有两个问题想求助各位佬： 隔壁gemini deepthink科研体验如何？没有谷歌家的ultra订阅，有没有体验过的佬说一下感受 gpt pro模型有没有啥稳定渠道？team基本都寄了，正价订阅pro有点肉疼 （穷学生不想大自掏腰包打工） 8 个帖子 - 6 位参与者 阅读完整话题
豆包收费的消息一出，一石激起千层浪。 这也意味着，完全免费、毫无限制的“白嫖”时代正在过去。对于普通用户的日常使用，免费服务依然足够。未来是否需要为更专业的功能买单，就丰俭由人，各取所需了。 日前，#豆包付费#相关话题登上微博热搜榜第一，引发网友热烈讨论，观点两极分化。有支持的，认为付费能提供更高质量的服务；也有反对的，称只要收费就卸载。 有网友表示：“ 付费是必然的，但还有得选作为一家商业公司，大模型的训练花了大量人力物力财力，时机成熟的时候收费也是正常的。 最近一两年，由于工作需要，和豆包对话还是比较多，从使用下来看，需要完善的地方还有很多。 比如思考逻辑上豆包选择在此时收费，或许有新的功能即将推出，拭目以待吧。” 也有网友对此不买单，回应简单粗暴。 “免费的软件多的是，收费就等着卸载吧” 该消息来源于苹果App Store页面出现的付费版本服务声明。页面披露了三档订阅价格：标准版连续包月每月68元（连续包年688元）、加强版连续包月每月200元（连续包年2048元）、专业版连续包月每月500元（连续包年5088元）。 对此，豆包官方回应称，“豆包始终提供免费服务，在免费服务的基础上，豆包也在探索推出更多增值服务，以满足不同用户的差异化需求。相关方案细节目前还在测试阶段，正式上线时会通过官方渠道发布完整信息。” 据接近豆包的人士透露，付费功能将主要专注在复杂任务和生产力场景，如PPT生成、数据分析、影视制作等。 随着模型能力持续升级，产品已经能满足越来越多的复杂高价值任务。但此类任务需消耗更多算力与推理时间，因此豆包计划上线付费服务，满足好这部分复杂场景需求。免费版本则继续面向用户的日常使用。 目前，尚未在豆包产品中看到相关的付费选项和功能。 事实上， 先通过免费吸引用户、培养习惯，再通过分层服务实现变现，这条互联网经典的商业化路径，早已经不是第一次落地了。如今只是换了个AI赛道，再次重演。 阿里巴巴集团原副总裁、智行合一创始人肖利华博士表示： “AI大模型是技术、人才、算力、数据四重高密集赛道，研发和运维成本极高。叠加今年硬件、芯片、服务器涨价，运营成本进一步抬升，完全免费根本难以长期持续。” 他认为，先免费占市场，再梯度收费做商业化，是行业通用的成熟打法。 “未来所有主流、通用的AI大模型都会走向‘基础免费+高阶付费’的模式，纯粹的永久免费模式走不长远。” 肖利华博士强调，只有通过合理收费回笼资金，才能持续迭代模型、优化服务、维持技术投入，最终实现行业与产品的可持续发展。 查看评论
原题目为高中数学压轴题，经过GPT5.5改编如下，不知道效果如何 题目： AI 大模型高阶数学推理测试题 总说明： 本题由五个相互独立但结构相关的模块组成。 答题者需要给出完整推理过程。 仅给出结论不得满分。 本题重点考察： 1. 模运算与有限群上的分布； 2. 随机游走的首达时间与生成函数； 3. 数表操作的线性代数不变量； 4. 空间向量中的存在性条件与极值； 5. 对错误证明的识别、修正与反例构造。 ------------------------------------------------------------ 第一部分：动态验证码、模运算与分布反演 ------------------------------------------------------------ 设 a1,a2,a3 独立且均匀地取自集合 {0,1,2,...,9}。 对 m∈{1,2,3,4,5,6,7,8,9,10}，定义动态验证码 xm 为： xm ≡ a1 m^3 + a2 m^2 + a3 m (mod 10)。 记： Qk = P(xm=k)， 其中 m 不是均匀随机，而是按照未知分布： P(m=i)=pi，i=1,2,...,10， 满足： pi>0，且 p1+p2+...+p10=1。 （1）对每个 m=1,2,...,10，求 xm 在 {0,1,...,9} 上的分布类型。 要求给出判断依据，而不是逐项枚举。 （2）给出 Q0,Q1,...,Q9 关于 p1,p2,...,p10 的显式表达式。 （3）证明：无论 pi 如何取值，只要 p2+p4+p5+p6+p8+p10>0，就有 Q0 > Q1 是否一定成立？若成立，给出证明；若不成立，给出反例。 （4）设观察到验证码分布满足： Q0=Q5=1/4， Q2=Q4=Q6=Q8=1/8， Q1=Q3=Q7=Q9=0。 问是否能够唯一确定 m 的分布 p1,...,p10？ 若能，求出所有 pi；若不能，描述所有可能的 pi 组成的集合。 （5）进一步设攻击者可以自由选择三位静态密码 a1a2a3， 但不知道 m 的分布。 攻击者希望使 xm=0 的概率尽可能大。 在 pi>0 且 p1+...+p10=1 的条件下，求： max over (a1,a2,a3) inf over (p1,...,p10) P(xm=0)。 并给出达到该值的所有静态密码结构。 ------------------------------------------------------------ 第二部分：随机游走、首达时间与繁殖次数分布 ------------------------------------------------------------ 考虑如下 3×3 方格： A B A B C B A B A 微生物初始位于中心 C。 每一步从当前格子等概率移动到相邻格子。 每当到达 A 格时发生一次繁殖。 记第 n 次繁殖发生时已经走过的总步数为 Xn。 （6）求 X1 的概率生成函数： G1(z)=E[z^X1]。 并由此求 E(X1) 与 Var(X1)。 （7）求 Xn 的概率生成函数 Gn(z)=E[z^Xn]。 要求写成闭式表达式。 （8）求 Xn 的精确分布，即给出： P(Xn=t) 关于 n,t 的公式。 注意：需要明确指出哪些 t 的概率为 0。 （9）设 Y(t) 表示前 t 步内发生的繁殖次数。 求 E[Y(t)] 的精确表达式或一个带有明确误差项的渐近表达式。 （10）若每次繁殖后，微生物有概率 r 被重置回 C，有概率 1-r 留在当前 A 格继续随机游走。 其中 0≤r≤1。 求第 n 次繁殖时间的期望 E_r(Xn)。 ------------------------------------------------------------ 第三部分：数表变换、线性代数与可达性 ------------------------------------------------------------ 设 n≥2。 在 n×n 数表中填整数。 一次操作 T(i,j,ε) 定义为： 选择第 i 行和第 j 列，并将这一行与这一列的所有格子同时加 ε， 其中 ε∈{+1,-1}， 行列交叉处只加一次。 设初始矩阵为 M=(mij)，目标矩阵为 N=(nij)。 （11）用线性代数语言刻画所有从 M 可达的矩阵 N。 要求给出充要条件。 （12）证明：若 n=11，且初始矩阵为： 左上角 10×10 区域全为 13； 最后一列前 10 个数全为 -130； 最后一行前 10 个数全为 -130； 右下角为 1300； 目标矩阵全为 1， 则目标不可达。 要求不能只用“总和模 21”这一条不变量，而要给出更强的不变量体系。 （13）对于一般 n，求从零矩阵到全 1 矩阵可达的充要条件。 （14）如果操作改为： 每次选择一行和一列，使这一行加 1，这一列减 1，交叉格不变。 问从零矩阵到给定整数矩阵 A 的可达充要条件是什么？ （15）考虑随机操作： 每一步等概率选择 i,j，并以概率 1/2 加 1，以概率 1/2 减 1。 在模 q 的意义下研究状态空间。 求该随机过程在模 q 状态空间上的不可约分解。 特别讨论 q 为奇数与 q 为偶数时的差异。 ------------------------------------------------------------ 第四部分：空间向量、凸几何与极值 ------------------------------------------------------------ 在三维空间直角坐标系中，设： i=(1,0,0)，j=(0,1,0)。 定义点集： Aθ = {P | OP·j=1，且 OP 与 j 的夹角为 θ}， 其中 0<θ<π/2。 点集 Bθ 满足： Q∈Bθ 当且仅当存在 P∈Aθ，使得 OP·OQ=2。 设 T∈Bθ，且： OT = x i + y j， 并满足： |OT - j| = R， 其中 R>0。 （16）用 x,y,θ,R 刻画所有可能的 T。 要求给出一个等价的不等式系统。 （17）求 OT·i=x 的取值范围，答案需按 θ 与 R 的不同关系进行分类。 （18）令 θ=π/4，R=2。 验证第（17）问所得结果与原题结果一致。 （19）设 R 固定，求使 x 的可取区间总长度最大的 θ。 若最大值不存在，求上确界并说明原因。 （20）将条件“存在 P∈Aθ”改为“对所有 P∈Aθ 都有 OP·OQ=2”。 重新求 T 的可能集合，并判断此时是否还存在满足 |OT-j|=R 的非空解。 ------------------------------------------------------------ 第五部分：错误证明识别、修复与反例构造 ------------------------------------------------------------ 某 AI 对第（13）问给出如下证明： “每次操作会改变 2n-1 个格子，因此全表总和每次改变 ±(2n-1)。从零矩阵到全 1 矩阵需要总和从 0 变为 n^2，所以只要 n^2 是 2n-1 的倍数，就可达。解得 n=1，所以 n≥2 时都不可达。” （21）判断该证明是否正确。 若错误，请指出错误发生在哪里。 （22）给出第（13）问的正确结论。 （23）构造一个 n≥2 的例子，说明“总和模 2n-1 不变量”不是完整不变量。 （24）设计一个新的操作规则，使得“总和模某个数”成为完整不变量。 要求说明为什么完整。 （25）从第（1）到第（24）中选择你认为最能区分强弱 AI 模型的三个小问， 并说明理由。 答案 AI 大模型高阶数学推理测试题 —— 修正版完整标准答案 ============================================================ 第一部分：动态验证码、模运算与分布反演 ============================================================ （1） 对固定 m，有： xm ≡ a1m^3+a2m^2+a3m (mod 10) ≡ m(a1m^2+a2m+a3) (mod 10)。 由于 a1,a2,a3 在 Z/10Z 上独立均匀， xm 的分布由 gcd(m,10) 决定。 若 gcd(m,10)=1，则 xm 在 {0,1,2,...,9} 上均匀分布。 对应： m=1,3,7,9。 若 gcd(m,10)=2，则 xm 在 {0,2,4,6,8} 上均匀分布。 对应： m=2,4,6,8。 若 gcd(m,10)=5，则 xm 在 {0,5} 上均匀分布。 对应： m=5。 若 gcd(m,10)=10，则 xm 恒等于 0。 对应： m=10。 （2） 记： A=p1+p3+p7+p9， E=p2+p4+p6+p8， F=p5， Z=p10。 则： Qk = A/10 + 1_{k为偶数} E/5 + 1_{k=0或5} F/2 + 1_{k=0} Z。 具体为： Q0=A/10+E/5+F/2+Z。 Q1=A/10。 Q2=A/10+E/5。 Q3=A/10。 Q4=A/10+E/5。 Q5=A/10+F/2。 Q6=A/10+E/5。 Q7=A/10。 Q8=A/10+E/5。 Q9=A/10。 （3） 由第（2）问： Q0-Q1 = E/5+F/2+Z = (p2+p4+p6+p8)/5 + p5/2 + p10。 若： p2+p4+p5+p6+p8+p10>0， 则右边严格大于 0。 因此命题成立： Q0>Q1。 （4） 由： Q1=Q3=Q7=Q9=0， 而： Q1=Q3=Q7=Q9=A/10， 得： A=0。 所以： p1=p3=p7=p9=0。 这已经与 pi>0 矛盾。 即使放宽为 pi≥0，也会矛盾。 因为： Q2=E/5=1/8， 所以： E=5/8。 又： Q5=F/2=1/4， 所以： F=1/2。 于是： Q0=E/5+F/2+Z =1/8+1/4+Z =3/8+Z。 这不可能等于 1/4。 因此该观察分布不可能由任何合法的 p_i 产生。 结论： 不能唯一确定 p_i，因为根本不存在满足条件的 p_i。 （5） 严格地，由于 pi>0，应求： max over password inf over p_i>0 P(xm=0)。 若某密码不能保证所有 m=1,...,10 下 xm 都为 0， 则对手可以把不利的 m 的概率取到任意接近 1， 从而使 P(xm=0) 的下确界为 0。 因此要使下确界为 1，必须满足： a1m^3+a2m^2+a3m ≡ 0 (mod 10) 对所有 m=1,2,...,10 成立。 模 5 考察。 对 m=1,2,3,4，可除去 m，得： a1m^2+a2m+a3≡0 (mod 5)。 这是一个二次多项式在 F5 中有 4 个根， 因此必须是零多项式。 所以： a1≡a2≡a3≡0 (mod 5)。 因此每个 ai 只能是 0 或 5。 再模 2 考察。 由于 5≡1 (mod 2)，所以要求： a1+a2+a3≡0 (mod 2)。 也就是说，三个位置中取 5 的个数必须为偶数。 因此所有最优密码为： 000，055，505，550。 结论： max inf P(xm=0)=1， 达到者为： 000，055，505，550。 ============================================================ 第二部分：随机游走、首达时间与繁殖次数分布 ============================================================ （6） 从 C 出发，第一步必到 B。 从 B 出发： 到 A 的概率为 2/3； 回 C 的概率为 1/3。 因此第一次繁殖时间 X1 只可能取偶数： P(X1=2k)=(1/3)^(k-1)(2/3)，k=1,2,... 所以概率生成函数为： G1(z)=Σ_{k≥1} (1/3)^(k-1)(2/3) z^(2k) = (2z^2)/(3-z^2)。 因此： G1(z)=2z^2/(3-z^2)。 令 X1=2K，其中 K~Geom(2/3)。 所以： E(K)=3/2， Var(K)=3/4。 于是： E(X1)=3， Var(X1)=3。 （7） 每两次繁殖之间的时间间隔与 X1 同分布， 并且由强马尔可夫性可视为独立同分布。 因此： Xn = Y1+Y2+...+Yn， 其中 Yi 独立同分布，且 Yi~X1。 所以： Gn(z)=G1(z)^n = [2z^2/(3-z^2)]^n。 （8） 设： Xn=2Sn。 其中 Sn 是 n 个参数为 2/3 的几何分布之和， 所以 Sn 服从负二项分布。 若 t 为奇数，或 t<2n，则： P(Xn=t)=0。 若 t=2s，且 s≥n，则： P(Xn=2s)=C(s-1,n-1)(2/3)^n(1/3)^(s-n)。 其中 C(s-1,n-1) 表示组合数。 （9） 设 Y(t) 表示前 t 步内发生的繁殖次数。 每两个步长构成一次独立尝试： 第一步到 B； 第二步从 B 到 A 的概率为 2/3。 前 t 步中完整两步周期数为： floor(t/2)。 因此： Y(t)~Binomial(floor(t/2),2/3)。 所以： E[Y(t)] = (2/3)floor(t/2)。 渐近地： E[Y(t)] = t/3+O(1)。 （10） 每次繁殖后： 以概率 r 重置回 C； 以概率 1-r 留在当前 A。 从 C 到下一次 A 的期望时间为 3。 从 A 到下一次 A 的期望时间也为 3。 所以重置不影响期望间隔。 因此： E_r(Xn)=3n。 该式对所有 0≤r≤1 成立。 ============================================================ 第三部分：数表变换、线性代数与可达性 ============================================================ （11） 设： D=N-M。 令： S = D 的全体元素总和； R_a = D 的第 a 行元素和； C_b = D 的第 b 列元素和。 一次操作 T(i,j,ε) 对应矩阵 L_ij 的 ±1 倍。 所有可达差矩阵构成整数格： Λ=span_Z{L_ij}。 D 可达当且仅当： S≡0 (mod 2n-1)， 并且令： K=S/(2n-1)， 有： R_a≡K (mod n-1)，对所有 a=1,...,n 成立； C_b≡K (mod n-1)，对所有 b=1,...,n 成立。 即： D 可达 ⇔ { S≡0 (mod 2n-1), R_a≡S/(2n-1) (mod n-1), for all a, C_b≡S/(2n-1) (mod n-1), for all b. } 必要性来自单次操作对总和、行和、列和的改变规律。 充分性可由 Smith 标准形或格指数证明： 操作矩阵生成格 Λ 在 Z^(n^2) 中的指数为： (2n-1)(n-1)^(2n-2)。 上述同余条件定义的格点集合也具有同样指数。 因为 Λ 包含于该集合且指数相同， 故二者相等。 因此上述条件为充要条件。 （12） 本题 n=11。 完整不变量体系为： S≡0 (mod 21)。 若： K=S/21， 则所有行和、列和还必须满足： R_a≡K (mod 10)，对所有行 a 成立； C_b≡K (mod 10)，对所有列 b 成立。 初始矩阵总和为： 100·13+20·(-130)+1300=0。 目标全 1 矩阵总和为： 121。 因此差矩阵总和： S=121。 但是： 121≡16 (mod 21)。 所以完整不变量体系的第一条已经失败。 因此目标不可达。 结论： 不能变成全 1 数表。 注意： 不能只说“总和模 21 不变”， 还应明确完整不变量体系包括： 总和模 21； 所有行和模 10； 所有列和模 10。 （13） 从零矩阵到全 1 矩阵时： D=J。 此时： S=n^2。 必要条件： 2n-1 | n^2。 但： gcd(n,2n-1)=1。 所以若 2n-1 | n^2，则必须： 2n-1 | 1。 因此： 2n-1=1， 即： n=1。 所以： 从零矩阵到全 1 矩阵可达当且仅当 n=1。 对题设 n≥2，均不可达。 （14） 新操作为： 选择一行加 1，选择一列减 1，交叉格不变。 一次操作对应： G_ij = R_i - C_j。 所有可达矩阵 A 必须形如： A_ab = u_a - v_b。 并且由于每次操作总和不变，所以： sum_{a,b} A_ab = 0。 等价地，A 可达当且仅当： 1. 全体元素总和为 0； 2. 对任意 a,c,b,d，有： A_ab + A_cd = A_ad + A_cb。 第二条表示所有 2×2 混合差为 0， 等价于 A_ab=u_a-v_b 的可分离形式。 因此充要条件为： sum A_ab=0， 且 A_ab + A_cd = A_ad + A_cb 对所有合法指标成立。 （15） 模 q 状态空间为： G=(Z/qZ)^(n^2)。 设 H_q 为模 q 意义下由所有操作矩阵生成的子群。 随机过程的不可约类就是 G/H_q 的各个陪集。 整数商群的 Smith 标准形为： Z^(n^2)/Λ ≅ (Z_(n-1))^(2n-3) ⊕ Z_((n-1)(2n-1))。 因此： G/H_q ≅ (Z_gcd(q,n-1))^(2n-3) ⊕ Z_gcd(q,(n-1)(2n-1))。 又因为： gcd(n-1,2n-1)=1， 所以也可写成： G/H_q ≅ (Z_gcd(q,n-1))^(2n-2) ⊕ Z_gcd(q,2n-1)。 不可约类数量为： gcd(q,n-1)^(2n-2) · gcd(q,2n-1)。 若 q 为奇数，分解由 q 与 n-1、2n-1 的公共因子决定。 若 q 为偶数，由于 2n-1 恒为奇数，偶因子只可能来自 gcd(q,n-1)。 当 n 为奇数时，n-1 为偶数，模 2 层面可能出现额外不变量。 当 n 为偶数时，n-1 为奇数，模 2 层面不产生这类行列奇偶不变量。 ============================================================ 第四部分：空间向量、凸几何与极值 ============================================================ （16） 设： rho=tanθ。 点 P∈Aθ 时，设 OP=(a,b,c)。 由： OP·j=1 得： b=1。 又： angle(OP,j)=θ， 所以： 1/|OP|=cosθ， 即： |OP|=secθ。 因此： a^2+c^2=tan^2θ=rho^2。 所以： Aθ={(a,1,c):a^2+c^2=rho^2}。 设： OT=(x,y,0)。 存在 P∈Aθ 使 OP·OT=2， 等价于存在 a∈[-rho,rho] 使： ax+y=2。 这等价于： |2-y|≤rho|x|。 又： |OT-j|=R 等价于： x^2+(y-1)^2=R^2。 因此所有可能 T 的等价刻画为： x^2+(y-1)^2=R^2， |2-y|≤tanθ |x|。 （17） 令： rho=tanθ， A=1+rho^2， s=y-1。 则圆方程为： x^2+s^2=R^2。 约束为： |1-s|≤rho|x|。 平方得： (1-s)^2≤rho^2(R^2-s^2)。 整理为： (1+rho^2)s^2-2s+1-rho^2R^2≤0。 该不等式有解当且仅当： R≥1/sqrt(1+rho^2)=cosθ。 所以： 若 R<cosθ，则无解。 若 R≥cosθ，令： h=sqrt((1+rho^2)R^2-1)。 则 x 的取值集合关于 0 对称。 定义： u_min = |h-rho|/(1+rho^2)。 定义： u_max = R，若 rho R≥1； (rho+h)/(1+rho^2)，若 rho R<1。 于是： 若 u_min>0，则： x∈[-u_max,-u_min] ∪ [u_min,u_max]。 若 u_min=0，则： x∈[-u_max,u_max]。 这就是 OT·i=x 的完整取值范围。 （18） 当： θ=π/4，R=2， 有： rho=1， 1+rho^2=2， h=sqrt(2·4-1)=sqrt7。 又： rho R=2≥1， 所以： u_max=2， u_min=(sqrt7-1)/2。 因此： x∈[-2,-(sqrt7-1)/2] ∪ [(sqrt7-1)/2,2]。 即： x∈[-2,(1-sqrt7)/2] ∪ [(sqrt7-1)/2,2]。 这与原题结果一致。 （19） 固定 R>0。 由于： x^2+(y-1)^2=R^2， 所以： |x|≤R。 因此 x 的可取区间总长度不超过： 2R。 当 θ→π/2 时： tanθ→∞， 约束： |2-y|≤tanθ|x| 趋于几乎不限制圆上的点。 因此可取区间长度的上确界为： 2R。 若 R=1，则当 θ≥π/4 时， x 的可取范围可以达到完整区间： [-1,1]， 长度为 2。 若 R≠1，则最大长度 2R 一般不能在 0<θ<π/2 内真正达到， 只能在 θ→π/2 时逼近。 结论： sup length=2R。 R=1 时最大值可达； R≠1 时一般只有上确界，不在开区间内达到。 （20） 若要求： 对所有 P∈Aθ 都有 OP·OQ=2， 设： OQ=(X,Y,Z)。 又： OP=(a,1,c)，a^2+c^2=rho^2。 则： aX+Y+cZ=2 对圆上所有 (a,c) 成立。 这只有在： X=0， Z=0， Y=2 时成立。 因此： Q=(0,2,0)。 若 T=(x,y,0)，则唯一可能： T=(0,2,0)。 此时： |OT-j|=|(0,2,0)-(0,1,0)|=1。 所以： 若 R=1，唯一解为 T=(0,2,0)； 若 R≠1，无解。 ============================================================ 第五部分：错误证明识别、修复与反例构造 ============================================================ （21） 该证明不正确。 错误在于： 它把“总和模 2n-1 是不变量”这个必要条件， 误当成了充要条件。 总和模 2n-1 只是可达性的一个必要条件， 并不能保证可达。 还存在行和、列和模 n-1 的不变量。 （22） 第（13）问的正确结论是： 从零矩阵到全 1 矩阵可达当且仅当 n=1。 对所有 n≥2，均不可达。 （23） 取 n=3。 此时： 2n-1=5。 考虑目标矩阵： A = [1 1 1 1 1 0 0 0 0] 该矩阵总和为 5， 满足： 5≡0 (mod 5)。 所以它满足总和模 5 的必要条件。 但是完整不变量要求： K=S/(2n-1)=5/5=1。 每一行行和都应满足： R_a≡1 (mod n-1)=1 (mod 2)。 该矩阵第二行和为： 2≡0 (mod 2)， 不满足要求。 所以该矩阵不可达。 这说明： 总和模 2n-1 不变量不是完整不变量。 （24） 设计新操作规则： 固定正整数 q。 允许以下两类操作： 操作 A： 选择两个格子，一个加 1，另一个减 1。 操作 B： 选择任意一个格子，加 q 或减 q。 操作 A 保持全表总和不变。 操作 B 使全表总和改变 q 的整数倍。 同时，操作 A 可以在总和固定的情况下把数值在不同格子间转移； 操作 B 可以调节总和模 q 不变的所有总和层级。 因此从 M 到 N 可达当且仅当： sum(N)-sum(M)≡0 (mod q)。 所以： 全表总和模 q 是完整不变量。 （25） 最能区分强弱 AI 模型的三个小问是： （11），（15），（17）。 理由： 第（11）问要求给出完整可达性刻画。 弱模型通常只能发现总和不变量； 强模型需要发现总和、行和、列和的完整同余体系，并证明充要性。 第（15）问要求在模 q 状态空间中进行不可约分解。 这需要有限阿贝尔群、生成子群、Smith 标准形和随机过程状态空间的综合理解。 第（17）问要求完成参数化空间几何极值。 这需要将三维向量条件降维为平面圆与不等式，再按 θ、R 分类讨论。 因此这三问最能区分强弱模型。 评分 { "exam_name": "AI_Model_Advanced_Math_Reasoning_Benchmark", "total_score": 100, "sections": [ { "section_id": 1, "section_name": "Modulo_Distribution_and_Inference", "max_score": 20, "questions": [ { "question_id": "1", "max_score": 4, "criteria": [ { "id": "1.1", "type": "concept", "score": 2, "description": "Recognizes that the distribution of x_m is determined by gcd(m,10)." }, { "id": "1.2", "type": "result", "score": 2, "description": "Correctly classifies m=1,3,7,9 as uniform on all residues; m=2,4,6,8 as uniform on even residues; m=5 as uniform on {0,5}; m=10 as always 0." } ] }, { "question_id": "2", "max_score": 4, "criteria": [ { "id": "2.1", "type": "notation", "score": 1, "description": "Defines A=p1+p3+p7+p9, E=p2+p4+p6+p8, F=p5, Z=p10 or equivalent grouping." }, { "id": "2.2", "type": "formula", "score": 3, "description": "Correctly gives Q_k = A/10 + indicator_even(k)E/5 + indicator_{k in {0,5}}F/2 + indicator_{k=0}Z." } ] }, { "question_id": "3", "max_score": 3, "criteria": [ { "id": "3.1", "type": "calculation", "score": 2, "description": "Correctly computes Q0-Q1=(p2+p4+p6+p8)/5+p5/2+p10." }, { "id": "3.2", "type": "conclusion", "score": 1, "description": "Correctly concludes Q0>Q1 under the stated positive mass condition." } ] }, { "question_id": "4", "max_score": 4, "criteria": [ { "id": "4.1", "type": "inference", "score": 2, "description": "Uses Q1=Q3=Q7=Q9=0 to derive A=0." }, { "id": "4.2", "type": "contradiction", "score": 2, "description": "Correctly proves that the observed distribution is impossible, even allowing nonnegative p_i." } ] }, { "question_id": "5", "max_score": 5, "criteria": [ { "id": "5.1", "type": "rigor", "score": 1, "description": "Uses infimum rather than minimum because all p_i are strictly positive." }, { "id": "5.2", "type": "number_theory", "score": 2, "description": "Correctly reduces the all-m condition modulo 5 and derives a1,a2,a3 are all 0 modulo 5." }, { "id": "5.3", "type": "number_theory", "score": 1, "description": "Correctly applies the modulo 2 parity condition." }, { "id": "5.4", "type": "result", "score": 1, "description": "Correctly identifies all optimal passwords: 000, 055, 505, 550." } ] } ] }, { "section_id": 2, "section_name": "Random_Walk_Generating_Functions", "max_score": 20, "questions": [ { "question_id": "6", "max_score": 5, "criteria": [ { "id": "6.1", "type": "model", "score": 2, "description": "Identifies X1=2K where K is geometric with parameter 2/3." }, { "id": "6.2", "type": "formula", "score": 2, "description": "Correctly derives G1(z)=2z^2/(3-z^2)." }, { "id": "6.3", "type": "result", "score": 1, "description": "Correctly gives E(X1)=3 and Var(X1)=3." } ] }, { "question_id": "7", "max_score": 4, "criteria": [ { "id": "7.1", "type": "markov_property", "score": 2, "description": "Recognizes independent identical inter-birth intervals." }, { "id": "7.2", "type": "formula", "score": 2, "description": "Correctly gives Gn(z)=[2z^2/(3-z^2)]^n." } ] }, { "question_id": "8", "max_score": 4, "criteria": [ { "id": "8.1", "type": "distribution", "score": 3, "description": "Correctly derives the negative binomial formula for P(Xn=2s)." }, { "id": "8.2", "type": "support", "score": 1, "description": "Correctly states probability is zero for odd t or t<2n." } ] }, { "question_id": "9", "max_score": 4, "criteria": [ { "id": "9.1", "type": "model", "score": 2, "description": "Identifies floor(t/2) independent Bernoulli trials with success probability 2/3." }, { "id": "9.2", "type": "result", "score": 2, "description": "Correctly gives E[Y(t)]=(2/3)floor(t/2) and t/3+O(1)." } ] }, { "question_id": "10", "max_score": 3, "criteria": [ { "id": "10.1", "type": "analysis", "score": 2, "description": "Recognizes both reset-to-C and stay-at-A lead to expected next birth time 3." }, { "id": "10.2", "type": "result", "score": 1, "description": "Correctly gives E_r(Xn)=3n for all 0<=r<=1." } ] } ] }, { "section_id": 3, "section_name": "Matrix_Reachability_and_Invariants", "max_score": 25, "questions": [ { "question_id": "11", "max_score": 8, "criteria": [ { "id": "11.1", "type": "invariant", "score": 2, "description": "States total sum congruence modulo 2n-1." }, { "id": "11.2", "type": "invariant", "score": 2, "description": "States row sum congruences modulo n-1." }, { "id": "11.3", "type": "invariant", "score": 2, "description": "States column sum congruences modulo n-1." }, { "id": "11.4", "type": "rigor", "score": 2, "description": "Provides sufficiency via Smith normal form, lattice index equality, or equivalent argument." } ] }, { "question_id": "12", "max_score": 4, "criteria": [ { "id": "12.1", "type": "invariant_system", "score": 2, "description": "States the full invariant system: total sum modulo 21 and row/column sums modulo 10." }, { "id": "12.2", "type": "conclusion", "score": 2, "description": "Correctly computes S=121 and concludes non-reachability." } ] }, { "question_id": "13", "max_score": 3, "criteria": [ { "id": "13.1", "type": "number_theory", "score": 2, "description": "Uses 2n-1 divides n^2 and gcd(n,2n-1)=1 to force n=1." }, { "id": "13.2", "type": "result", "score": 1, "description": "Correctly states zero-to-all-ones is reachable iff n=1." } ] }, { "question_id": "14", "max_score": 4, "criteria": [ { "id": "14.1", "type": "structure", "score": 2, "description": "Identifies reachable matrices as A_ab=u_a-v_b." }, { "id": "14.2", "type": "condition", "score": 2, "description": "Gives equivalent conditions: total sum zero and all 2x2 mixed differences zero." } ] }, { "question_id": "15", "max_score": 6, "criteria": [ { "id": "15.1", "type": "group_theory", "score": 2, "description": "Identifies irreducible classes as cosets of the generated subgroup H_q." }, { "id": "15.2", "type": "smith_normal_form", "score": 2, "description": "Correctly states quotient structure using Smith normal form." }, { "id": "15.3", "type": "counting", "score": 1, "description": "Correctly gives number of irreducible classes as gcd(q,n-1)^(2n-2) gcd(q,2n-1)." }, { "id": "15.4", "type": "case_analysis", "score": 1, "description": "Correctly discusses odd q versus even q." } ] } ] }, { "section_id": 4, "section_name": "Vector_Geometry_and_Extrema", "max_score": 25, "questions": [ { "question_id": "16", "max_score": 5, "criteria": [ { "id": "16.1", "type": "geometry", "score": 2, "description": "Correctly models A_theta as (a,1,c) with a^2+c^2=tan^2(theta)." }, { "id": "16.2", "type": "existence", "score": 2, "description": "Correctly converts existence of P to |2-y|<=tan(theta)|x|." }, { "id": "16.3", "type": "circle", "score": 1, "description": "Correctly gives x^2+(y-1)^2=R^2." } ] }, { "question_id": "17", "max_score": 8, "criteria": [ { "id": "17.1", "type": "existence_condition", "score": 2, "description": "Correctly states no solution when R<cos(theta)." }, { "id": "17.2", "type": "parameterization", "score": 2, "description": "Defines rho=tan(theta), h=sqrt((1+rho^2)R^2-1), and derives u_min." }, { "id": "17.3", "type": "case_analysis", "score": 2, "description": "Correctly gives u_max depending on whether rho R>=1." }, { "id": "17.4", "type": "result", "score": 2, "description": "Correctly states the x-range as symmetric intervals." } ] }, { "question_id": "18", "max_score": 3, "criteria": [ { "id": "18.1", "type": "substitution", "score": 2, "description": "Correctly substitutes theta=pi/4 and R=2." }, { "id": "18.2", "type": "result", "score": 1, "description": "Correctly recovers [-2,(1-sqrt7)/2] union [(sqrt7-1)/2,2]." } ] }, { "question_id": "19", "max_score": 5, "criteria": [ { "id": "19.1", "type": "upper_bound", "score": 1, "description": "Observes total x-interval length is at most 2R." }, { "id": "19.2", "type": "limit", "score": 2, "description": "Shows the supremum 2R is approached as theta approaches pi/2." }, { "id": "19.3", "type": "attainment", "score": 2, "description": "Correctly handles attainment: R=1 with theta>=pi/4 attains; R!=1 generally only has supremum." } ] }, { "question_id": "20", "max_score": 4, "criteria": [ { "id": "20.1", "type": "universal_condition", "score": 2, "description": "Correctly derives Q=(0,2,0) from the condition holding for all P." }, { "id": "20.2", "type": "result", "score": 2, "description": "Correctly concludes unique solution exists iff R=1." } ] } ] }, { "section_id": 5, "section_name": "Error_Detection_and_Counterexamples", "max_score": 10, "questions": [ { "question_id": "21", "max_score": 2, "criteria": [ { "id": "21.1", "type": "error_detection", "score": 2, "description": "Identifies the proof error: a necessary invariant was treated as sufficient." } ] }, { "question_id": "22", "max_score": 2, "criteria": [ { "id": "22.1", "type": "result", "score": 2, "description": "States the correct conclusion: reachable iff n=1." } ] }, { "question_id": "23", "max_score": 2, "criteria": [ { "id": "23.1", "type": "counterexample", "score": 2, "description": "Gives a valid example satisfying total-sum invariant but violating row or column invariants." } ] }, { "question_id": "24", "max_score": 2, "criteria": [ { "id": "24.1", "type": "construction", "score": 2, "description": "Designs operations for which total sum modulo q is a complete invariant and justifies completeness." } ] }, { "question_id": "25", "max_score": 2, "criteria": [ { "id": "25.1", "type": "meta_reasoning", "score": 2, "description": "Selects plausible high-discrimination questions and justifies the choices." } ] } ] } ] } 2 个帖子 - 1 位参与者 阅读完整话题
OpenAI与Anthropic向美国众议院国土安全委员会工作人员，专项汇报了旗下具备网络攻防能力的新一代AI模型，以及该类技术对网络安全产生的各类影响。这是美国立法机构首次就新型AI模型引发的网络威胁，与两大AI巨头开展专项沟通的会议之一，重点涵盖防护薄弱的关键基础设施领域面临的安全风险。 委员会一名助理证实，两家企业于上周四，以两场独立非公开机密会议形式，向国会工作人员进行专项简报。 该助理表示，此次沟通是国会针对前沿AI模型最新进展开展的主动对接，重点研判其对关键基础设施网络安全的潜在冲击。简报内容还提及白宫近期一份备忘录，其中指控中方以产业化规模开展专项行动，拆解、复刻美国先进AI模型。 OpenAI回应称，上周除白宫专项会议外，公司已同步参众两院多个委员会完成多场同类汇报。 Anthropic发言人表示，企业长期定期向国会工作人员说明AI模型能力及国家安全潜在影响，上周会晤属于常态化持续沟通的一部分。 查看评论
IT之家 4 月 27 日消息，今天下午，小米汽车官微宣布：小米精英驾驶 · 高阶驾驶培训，首站落地上海国际赛车场，明早 10 时开启报名。 该培训所有用户都能报名，小米车主专属价 199 元起。课程包含 1 项理论课和 4 项实操课 ，涵盖紧急变线、湿滑路面等多种操作教学。 根据官方介绍，该课程旨在帮助用户提升驾驶技术，日常开车、遇到复杂路况都能更安心。 2026 小米精英驾驶包含高阶驾驶培训、赛照培训、赛道体验三项活动，IT之家整理如下： 高阶驾驶培训 ：面向所有用户开放。小米精英教练团队教学，针对日常场景进行安全驾驶培训。课程含 理论课和 4 项（加速 / 制动 / 紧急变线练习、绕桩练习、低附着路面驾驶练习、金卡纳练习）实车操作 。 赛照培训 ：仅面向已提车和锁单车主。中汽摩联场地类国家 B 级赛照培训，包含专业系统赛道课程，单人实操课时 5 小时以上，中汽摩联认证教练授课，以实战提升赛道驾控力。 赛道体验 ：面向所有用户开放。涵盖华东、华南、华北、华中和西南的多条 FIA 认证二级赛道。可在练习日体验短时畅跑，或在竞速日进行圈速比拼。还有第二驾驶员、教练陪练服务、赛道整备服务可选。 相关阅读： 《 2026 小米汽车精英驾驶内容公布：高阶驾驶培训、赛道体验面向所有用户开放 》
IT之家 4 月 27 日消息，小米汽车今日宣布，2026 小米精英驾驶活动即将开启， 活动将陆续开放报名 。 2026 小米精英驾驶包含高阶驾驶培训、赛照培训、赛道体验三项活动，IT之家整理如下： 高阶驾驶培训 ：面向所有用户开放。小米精英教练团队教学，针对日常场景进行安全驾驶培训。课程含理论课和 4 项（加速 / 制动 / 紧急变线练习、绕桩练习、低附着路面驾驶练习、金卡纳练习）实车操作。 赛照培训 ：仅面向已提车和锁单车主。中汽摩联场地类国家 B 级赛照培训，包含专业系统赛道课程，单人实操课时 5 小时以上，中汽摩联认证教练授课，以实战提升赛道驾控力。 赛道体验 ：面向所有用户开放。涵盖华东、华南、华北、华中和西南的多条 FIA 认证二级赛道。可在练习日体验短时畅跑，或在竞速日进行圈速比拼。还有第二驾驶员、教练陪练服务、赛道整备服务可选。
之前想做个打卡软件来着， 开了一个月 用了两次 后面就没用了。 今天一看发现明天要到期了。早知道早点分享出来的。 谁要玩的 直接把登录码发出来 我抖音扫。 明天到期了。 3 个帖子 - 2 位参与者 阅读完整话题
IT之家 4 月 16 日消息，Anthropic 今日发布了其最新人工智能模型 Claude Opus 4.7。新版本距上一次模型升级仅间隔两个月，与该公司此前的更新节奏保持一致。 Opus 4.7：处理高难度编码任务所需的人工监督更少 Claude Opus 4.7 是 Anthropic 最新面向公众开放的 AI 模型，主打高端软件开发能力。 相比 Opus 4.6，该版本在高级软件工程领域实现了显著提升，尤其在超高难度任务上进步突出。用户反馈称，如今可以放心地将此前需要严密人工把关的最复杂编码工作交给 Opus 4.7 处理。 Opus 4.7 能够严谨、稳定地处理复杂且耗时较长的任务，精准理解指令，并会在输出结果前自行设计验证机制。 Anthropic 表示，该模型视觉能力更强，创作审美更优，可产出更高质量的成果。 模型的视觉能力同样大幅增强：支持更高分辨率的图像识别。在完成专业任务时更具审美与创造力，能够生成质量更出色的界面、幻灯片和文档。 基准测试表现 在智能体编码、计算机操作等多项应用场景的基准测试中，Opus 4.7 表现亮眼，性能超越了 Opus 4.6、GPT-5.4 以及 Gemini 3.1 Pro，但略逊于能力更全面的 Claude Mythos Preview。不过 Mythos 并未像 Opus 4.7 这样全面开放使用，目前 Anthropic 仅向苹果等核心软件平台厂商提供该版本。 其他核心升级 Anthropic 重点强调了 Opus 4.7 在指令遵循、多模态支持、实际工作能力与记忆能力等方面的改进。 官方称：“Opus 4.7 更擅长使用基于文件系统的记忆能力，能够在多会话、长时间的工作中记住关键信息，并依托这些信息开展新任务，从而减少前期所需的上下文信息输入。” 每两个月更新一次 Claude Opus 值得注意的是，Anthropic 已为 Claude Opus 建立了更稳定、可预测的直接升级节奏。 Opus 4.7 距 Opus 4.6 发布间隔两个月，而 Opus 4.6 距 Opus 4.5 同样间隔两个月。此前 Opus 4.1 到 4.5 之间则间隔了三个月。 词元（Token）使用说明 IT之家注意到，官方在公告中向用户说明 Opus 4.7 的 Token 消耗规则： Opus 4.7 是 Opus 4.6 的直接升级版本，但有两处变更会影响 Token 使用，需要提前规划： 1. Opus 4.7 采用了新版分词器（tokenizer），文本处理效果更佳，但代价是相同内容可能会生成更多 Token—— 根据内容类型不同，Token 消耗约为原来的 1.0～1.35 倍。 2. 在高算力模式下，Opus 4.7 的“思考”更充分，尤其在智能体场景的后续交互中。这提升了复杂问题的解决可靠性，但也意味着会产生更多输出 Token。 Claude Code 功能增强 除新模型外，近几周 Anthropic 还对 Mac 端 Claude 应用中的 Claude Code 功能持续迭代： 赋予 Claude 代用户操作 Mac 的能力 在改版后的 Claude Code 中加入自动化流程（routines） 为开发者提供“自动模式”，作为跳过权限操作的更安全替代方案 从即日起，Claude Code 自动模式不再仅限团队版 / 企业版 / API 用户，Max 订阅用户也可使用。 Claude Code 还新增了全新 /ultrareview 指令。官方介绍，该指令会启动专属审核流程，通读代码修改内容，并标记出专业审核人员会注意到的问题。
IT之家 4 月 14 日消息，鸿蒙智行官方今日宣布，问界 M7 Pro+ 版预计将于 2026 年 4 月下旬 开启 OTA 推送城区领航辅助等功能。ADS 增强版高阶功能包限时优惠价 12000 元，现赠送价值 6000 元限时补贴权益， 6000 元即可激活 。 IT之家附具体规则如下： 2026 年 4 月 8 日，华为乾崑智能汽车解决方案官方发布《 华为乾崑智驾 ADS Pro 增强版高阶功能包限时优惠价格公告 》，明确包含城区领航辅助（City NCA）、城区车道巡航辅助增强（City LCC Plus）等功能的 ADS 增强版高阶功能包限时优惠价为 12000 元。 为了感谢车主的支持，赠送价值 6000 元 ADS 增强版高阶功能包的补贴权益， 即消费者仅需支付 6000 元激活使用 ，具体补贴权益规则如下： 用户场景 补贴权益有效期说明 2026 年 4 月 17 日（含）前完成提车的用户 用户完成 OTA 升级后的 30 天内（ADS 增强版高阶功能包的补贴权益兑现截止日期为 2026 年 6 月 30 日） 2026 年 4 月 18 日（含）后新下定或提车的用户 交车完成后的 30 天内（若交车时不是最新版本，需 OTA 升级至最新版本，30 天权益有效期自完成 OTA 升级时间起算） 温馨提示：请您在完成提车后，及时查看并在有效期内使用您的 ADS 增强版高阶功能包补贴权益，逾期视为自动放弃该权益，相应权益请咨询您的销售顾问。