小米汽车新车型进展 - 小米第三款车型代号"昆仑"N3已开始路测 预计2024年底至2025年初亮相 充电口位于车身左侧[1] - 新车定位大型增程SUV 采用三排6/7座布局 内部代号"昆仑" 主打家庭市场[2] - 车身尺寸预计超过5.1米 轴距达3100mm 较YU7的4999mm车长和3000mm轴距进一步扩大[4] - 延续家族设计语言：配备大尺寸轮毂 半隐藏式门把手 车顶激光雷达 大灯设计与YU7相似[4] 产品配置与定价策略 - 新车可能命名为YU9 延续YU7顶配超30万元的定价策略 但增程车型或低于纯电版本[6] - 采用运动硬朗风格设计 配置信息尚未完全曝光 预计将冲击豪华大型SUV市场[4][6] 小米16手机产品规划 - 屏幕配置：基础版采用6.3英寸1.5K极窄直屏（边框1.2mm） Pro版升级2K分辨率 或采用微曲屏设计[7] - 性能配置：首发第二代骁龙8至尊版平台 发布时间较小米15系列提前1个月至2024年9月[8] - 影像系统：延续1英寸大底主摄+徕卡三摄 Pro/Max版强化长焦能力 采用横向矩阵Deco设计[9] 行业趋势观察 - 安卓旗舰发布节奏持续提前 从次年1月逐步提前至当年10月 2024年可能进一步提前至9月[8] - 2025年旗舰手机趋势预测：普遍采用直屏设计 配备超大底影像传感器和超大容量电池[7]

宠物相关内容 - 小狗扮演小丑的形象引发关注 [12] - 小猫需要进行身材管理 减肥中请勿投喂 [22][23][25][26][27] - 塑料袋会惩罚不听话的小狗 [68] - 小猫喜欢踩人的行为有2500年历史 [75] - 狗狗在拍照时会做出特别表情 [48] 聋人相关故事 - 聋人儿童首次通过助听器发现打哈欠无声 [33] - 聋人原以为太阳会发出声音 戴上助听器后感到失落 [35] - 聋人朋友惊讶发现下雪无声 但喜欢踩雪声音 [37] - 安装人工耳蜗的聋人跑步时发现胸部晃动无声 [40][41] 药品包装设计 - 速效救心丸易碎的小瓷瓶包装引发讨论 [55] - 部分用户认为易碎设计便于紧急情况下快速取药 [57] - 有用户分享紧急情况下摔碎药瓶救命的经历 [61][62] - 包装设计可能考虑到了突发疾病时的使用场景 [58] 其他社会观察 - 景区烤肠被认为具有特殊吸引力 [19] - 同时具备糟糕经济实力和惊人消费能力的人群特征 [90] - 创新菜品引发关注 被形容比论文创新点还多 [96][98] - 特殊浇水方式引发兴趣 [102] - 对夸赞话语会持续回味的现象 [106]

核心观点 - 谷歌DeepMind的Gemini Deep Think模型在IMO竞赛中以自然语言方式破解5道题，获得35分（满分42分），达到金牌标准[3][4][22] - 该成绩获得IMO组委会官方认证，成为首个获此认可的AI系统[6][7][24] - 模型突破在于完全使用自然语言端到端推理，无需形式语言翻译，且在4.5小时比赛时限内完成[26][29] - 相比2024年AlphaProof和AlphaGeometry 2解决4题获28分（银牌）的表现有显著提升[17][19] - 技术核心是Deep Think增强推理模式，结合并行思考技术和强化学习训练[32][33][35] 技术实现 - 采用并行思考技术，同时探索多种解题路径并整合最优答案[33][34] - 通过新颖的强化学习训练，利用多步推理和定理证明数据提升能力[35] - 提供高质量数学问题解决方案集和IMO解题技巧作为知识库[42] - 模型即将向数学家测试者和Google AI Ultra订阅者开放[39] 解题案例 - 第一题（解析几何）：通过设定引理和分类讨论，证明阳光线数量只能是0、1或3条[44][45][52] - 第二题（平面几何）：分五步证明，包括确定旁心位置和引入辅助点性质[54][55][59] - 第三题（函数）：通过上界证明c≤4和下界证明c≥4确定最小实数常数为4[65][66][67] - 第四题（数论）：用五步证明序列性质，包括偶数性分析和动态行为研究[73][74][78] - 第五题（组合博弈）：通过离散化策略和蓄力战术，确定Alice与Bazza的必胜条件区间[84][85][86] 行业影响 - IMO成为AI能力试炼场，数学推理能力接近顶尖人类水平[16][19] - 自然语言与形式化推理结合的AI将成为科研人员重要工具[105] - 谷歌与OpenAI的竞争凸显技术路线差异：官方认证vs自评结果[108][109][129] - OpenAI被质疑未获官方认证且提前公布结果，影响行业声誉[109][112][130] 团队背景 - 项目由Thang Luong领导，他是机器翻译深度学习先驱和注意力机制发明者[95][96][97] - 团队曾开发AlphaGeometry、LaMDA、Bard等知名项目[98]

旧手机改造为微型数据中心 - 旧手机可被改造为高效、低成本的"微型数据中心"，用于图像识别、传感器数据处理等任务，整体改造成本仅需8欧元（约合人民币66元）[1] - 10年前的旧手机硬件性能（如四核处理器、2GB RAM）仍不逊于部分IoT嵌入式设备（如树莓派），具备抗热性强、功耗低、结构紧凑等优势[2] - 智能手机硬件设计原本针对高能耗场景优化，处理大规模数据时效率较高，适合分布式算力平台[2] 改造技术方案 - 改造步骤包括：拆除电池改用外部供电、替换原生Android系统为Linux轻量系统（如PostmarketOS）、多手机集群协作（1主节点+3工作节点）、3D打印支架固定设备[6][7][8][9] - 实验中使用4台Google Nexus手机搭建集群，成本低于50欧元的树莓派设备，且能在25米深海环境中无故障运行8小时完成海洋生物图像识别[10][11] - 选择Nexus系列因其开源模块化设计，但现代手机封闭式结构增加改造难度[11][12] 应用场景与市场潜力 - 适用场景包括：海洋监测（水下图像识别）、城市人流统计（红外传感器）、无人机实时图像分析（地面机器人协同）[11] - 初创企业可作为低成本替代方案，满足轻量级数据分析、网站托管等需求，避免高昂云计算成本[11] - 全球每年丢弃手机达53亿部，电子垃圾回收率仅22%，改造方案兼具环保与经济价值[13][14][15] 行业影响与发展方向 - 研究推动电子产品设计向可维护性、可再利用性转型，从源头减少电子垃圾[15] - 分布式算力模式为边缘计算提供新思路，利用闲置资源降低算力部署门槛[1][10]

零公里二手车现象 - 长城汽车董事长魏建军指出三四千家二手车平台销售零公里车是行业毒瘤 [1] - 2024年全国二手车市场中登记日期≤3个月且里程数≤50公里的车辆占比达12.7%，其中新能源车型占比超60% [1] - 零公里二手车在汽车出口领域被部分车商利用政策差异以二手车名义出口新车，规避进出口管制和高额关税 [1] 行业操作与制造商行为 - 部分汽车制造商因产能过剩将未售出新车自行注册为零公里二手车，以美化销售数据并快速回笼资金 [1] - 零公里二手车现象导致工厂闲置问题，制造商通过此方式维持产能使用率 [1] 消费者风险 - 零公里二手车价格低廉但多数无法享受厂商提供的完整三电系统（电池、电机、电控）质保 [3] - 核心部件故障时消费者需承担高额维修费用 [3] 监管与行业应对措施 - 商务部计划强化全流程监管并建立信用评价体系 [3] - 工信部拟推行新车登记后6个月内禁止转二手政策以阻断套利空间 [3] - 中国汽车流通协会推动建立二手车出口唯一编码制度，奇瑞、比亚迪等企业已启动经销商违规上牌追责机制 [3] - 中国汽车工业协会发布倡议反对无底线价格战，支持企业正常参与市场竞争 [3]

转自：吐槽星君 化妆师被新娘问会不会勾引自己老公？ （v i a .@青爱的！ ） -5-5 笑死了,想起来有个女生要求美甲师闭着眼 2339 睛做美甲,因为不想其他女人看到她男朋友 07-03 湖北 回复 6 公众号 · 吐槽864 ? 07-03 上海 回复 翻译 "暂时还没有这个业务哈"07-03 河北 回复 6119 1 = 哈哈哈哈哈哈哈哈哈哈暂时不开通此 899 业务 07-03 黑龙江 回复 展开 27 条回复 我找了男化妆师,等我去问问他会不会勾引 2508 我老公 20 07-03 山东 回复 E = 你等着被挂吧 ç® 07-03 安徽 回复 1905 展开 61 条回复 = 不会的宝宝,我回族 07-03 北京 回复 2780 F The 哈哈哈妙哇～ 07-03 河南 回复 公众号 · 吐槽屋 -F =1 我学车的时候加了同一车的学员方便到时候 32 一起练车,当天晚上他女朋友就问我为啥勾 引他男朋友。我说就你男朋友长得还没我老 公脚指头好看。我又不眼瞎能看上他,他也 | 日ナキキガスノキニ リボブルサクタテゴ FF 狗好鸡坏 （v i a .@ 以防你今天还没看小动物 ） 本想躲在被 ...

蓝点网 . 科技资讯、软件工具、技术教程，尽在蓝点网。蓝点网，给你感兴趣的内容 #游戏资讯 Valve 首次回应 Steam 商店下架大量成人或色情游戏，因为支付渠道 / 卡组织 / 银行施压而不得不下架。 Valve 称该公司最近收到通知称某些游戏可能违反支付处理上 / 卡组织 / 银行的规则和标准，因此不得不在 Steam 商店 下架这些游戏以免整个支付渠道都被封锁。查看全文：https://ourl.co/109826 以下文章来源于蓝点网 ，作者山外的鸭子哥 我们最近收到通知称 Steam 平台上的某些游戏可能违反我们的支付处理商及其相关卡组织和银行制定 的规则和标准。因此我们将在 Steam 商店停止销售这些游戏，因为如果丢失付款方式将导致顾客无法 在 Steam 商店购买其他游戏和游戏内容。我们将直接通知受影响的开发者，如果这些开发者未来有其 他游戏想要在 Steam 商店中分发，我们会发放相应的应用积分 ( 作为补偿 ) 。 这种情况也非首次发生： 你可能还对知名成人色情网站 PornHub 清理非认证创作者视频有印象，当时某知名新闻媒体爆出该网 站存在大量未经同意的或涉及未成年人的色情视频，随 ...

OpenAI新模型突破 - 公司研发的通用推理模型在IMO 2025竞赛中解决6题中的5题，得分35/42，远超此前最佳AI模型Gemini 2.5 Pro的13分 [3][7] - 模型在完全模拟人类比赛条件下（无工具、无网络）完成证明过程，并由前IMO奖牌得主评分 [7] - 该模型具备持续数小时的深度推理能力，突破传统AI以秒或分钟为单位的思维限制 [11][12][13] 技术突破点 - 推理时间范围显著扩展：从GSM8K（0.1分钟）→MATH（1分钟）→AIME（10分钟）→IMO（100分钟） [15] - 模型通过通用强化学习实现能力，而非针对IMO任务专门训练 [19] - 能够构建多页复杂数学证明，超越传统可验证奖励的强化学习范式 [16][17][18] 解题能力细节 - 第一题（解析几何）：通过归约引理和n≥3情况分析完成证明 [23][29][30][31] - 第二题（平面几何）：转换问题表述并完成四点关键证明步骤 [32][36][37][39] - 第三题（函数）：分析素数模同余关系及非恒等函数结构 [40][41][42] - 第五题（博弈论）：分三种情况讨论参数λ与阈值c的关系 [50][54] - 第六题未被任何AI模型（包括该新模型）攻克，全球仅6名人类选手解决 [57][58] 模型背景与影响 - 模型代号为"Strawberry"，属于实验性项目且不会公开发布 [60] - 此次突破被视为超越"AI攻克IMO"本身的意义，可能标志推理技术新时代 [4][7] - 团队核心成员Alexander Wei曾主导开发达到人类水平的AI外交游戏智能体CICERO [63]

社交媒体互动现象 - 用户通过拜金人设直接索要金钱（5000元房租）来测试对方真心 [4][5][6] - 部分用户反感日常问候式互动（早安晚安、吃了没）[12] - 网友创作段子讽刺快餐式恋爱（"贤夫扶我青云志 我还贤夫万两金"）[13] 品牌拟人化创作 - 淘宝与肯德基被拟人化为有恩怨的商业对手 [24] - 饿了么、支付宝等品牌被赋予旁观者角色参与剧情 [24] - 创作包含商业元素（疯狂星期四营销、红包策略）[24] 外卖服务场景 - 用户要求骑手深夜配送时保持静默（不敲门不按门铃）[32][33] - 骑手使用军事术语与用户互动（"悄悄滴进村 打枪滴不要"）[32] - 凌晨配送需求显示夜间消费市场存在 [33] 宠物行为观察 - 猫咪能识别不同家庭的作息规律并调整叫早服务 [60] - 宠物会模仿人类进食行为（仓鼠学人吃饭姿势）[68] 职场相关讨论 - 员工自嘲技能单一导致薪资偏低 [66] - 网友调侃公司聚集区为"地狱" [22] - 数学题设置包含职场场景（课程表安排）[36]

软考证书价值与行业认可 - 软考是IT从业者必备黄金证书 企业和社会认可度极高 尤其系统架构设计师和软件设计师两科含金量更高 可作为技术背书 简历镀金和晋升管理岗的重要途径 [3] - 持证者可享受多重福利 包括以考代评(直接获得职称资格) 积分落户(60-140分) 升职加薪(涨薪500-2000元) 考编年龄放宽至40周岁等政策优惠 [9] - 证书带来经济补贴 不同地区提供5-25万不等的租房购房津贴 还可入专家库参与评审工作 国际认可度逐步提升 [9] 2025年软考改革趋势 - 工信部技术研究岗将实施考试改革 预计明年难度大幅提升 云计算 嵌入式 区块链等AI技术内容占比增加 计算机理论基础考察减少 [7][10] - 2025上半年考题难度显著上升 系统架构设计师科目技术含量最高 软件设计师考察范围广 网络工程师50%内容超纲 [11] - 考试知识点分布显示 软件工程基础占17.33% 面向对象占14.67% 数据结构与算法占12% [14] 特训营核心资源 - 提供2天直播课+1599元内部资料包+1V1上岸攻略+最新真题解析+万能模板等全套备考工具 限50人免费参与 [2][3][12] - 课程聚焦核心知识点与前沿技术 包含智能刷题平台 机考模拟系统及超5G历年通关秘籍(真题/模板/资料) [12][20][22] - 采用独家记忆口诀 案例逻辑 论文行文技巧等备考方法 1V1定制学习计划 强调按时听课+同步刷题+考前密押的闭环学习 [16][18] 职业发展机遇 - 证书助力积分落户(北京工作居住证) 跳槽晋升 职称评定 项目竞标加分 部分岗位招聘明确要求工学/理学学历及2年以上经验 [7][9] - 持证者可获得退休金补贴 个税减免 并拓展跨岗位发展可能性 如研发 测试 产品 运维等岗位均能受益 [9][11] - 企业将员工持证数量作为项目投标竞争力 个人可获得公司奖金 行业专家身份还能带来额外评审酬劳 [9]