小米 MiMo-v2.5-Pro:小米最强推理模型

小米在 AI 领域的布局一直在稳步推进,从最早的语音助手小爱同学,到后来的端侧 AI 能力,再到如今推出的大语言模型系列——MiMo。今天来聊聊小米最新的推理模型 MiMo-v2.5-Pro。 什么是 MiMo-v2.5-Pro? MiMo(Mi Model)是小米自研的大语言模型系列。MiMo-v2.5-Pro 是该系列的最新版本,定位为推理增强型大模型。它在数学推理、代码生成、逻辑推理等方面表现突出,是小米在大模型推理能力上的一个重要里程碑。 核心能力 推理能力 MiMo-v2.5-Pro 最大的亮点在于其强大的推理能力。它采用了类似 Chain-of-Thought(思维链)的训练策略,让模型在面对复杂问题时能够进行逐步推理,而不是直接给出答案。这使得模型在数学竞赛题、逻辑推理题等任务上表现优异。 数学与编程 在数学推理方面,MiMo-v2.5-Pro 在多个数学基准测试中取得了出色的成绩,包括 MATH-500、AIME 等竞赛级别的数学题。在编程方面,模型在 LiveCodeBench 等代码生成基准上也有不错的表现,能够理解复杂的需求并生成高质量的代码。 通用能力 除了推理和编程,MiMo-v2.5-Pro 在通用的语言理解、对话生成等任务上也保持了较高水准。它不是那种「偏科」的推理模型,而是在推理能力增强的同时,通用能力没有明显退化。 技术特点 训练方法 MiMo-v2.5-Pro 采用了多阶段训练策略: 预训练阶段:使用大规模高质量数据进行基础能力训练 监督微调(SFT):使用精心构造的指令数据进行微调 强化学习(RL):通过类似 GRPO(Group Relative Policy Optimization)的强化学习方法,进一步增强模型的推理能力 这种多阶段的训练方式,让模型既能保持通用语言能力,又能在推理任务上取得突破。 模型规模 MiMo-v2.5-Pro 有多个参数规模的版本,从轻量级到旗舰级,满足不同场景的需求。其中旗舰版本在推理任务上的表现可以媲美甚至超越许多更大参数量的模型,体现了小米在模型效率优化上的功力。 开源策略 小米选择了开源的方式来发布 MiMo 系列模型,这在国产大模型厂商中是一个值得肯定的举动。开发者可以在 Hugging Face 上下载模型权重,进行本地部署和二次开发。这种开放的态度有助于整个 AI 生态的发展。 与竞品对比 在推理模型这个赛道上,MiMo-v2.5-Pro 面对的竞争非常激烈: 模型 厂商 特点 MiMo-v2.5-Pro 小米 推理能力强,开源,多尺寸 DeepSeek-R1 深度求索 推理能力极强,开源,671B MoE OpenAI o1 OpenAI 推理标杆,闭源 Qwen3 阿里巴巴 全能型,开源,MoE 架构 MiMo-v2....

Tuesday, April 28, 2026 · MING

🐟 鱼蛋花费:为鱼蛋做的小账本和成长日志

🐟 鱼蛋花费:为鱼蛋做的小账本和成长日志 当爸爸的感觉很奇妙。自从知道鱼蛋要来的那一刻起,就总想为她做点什么。 一开始只是在手机备忘录里记几笔——今天买了云柔巾花了多少钱,明天又添置了什么小物件。记着记着就觉得,光记账好像还不够,要是能把鱼蛋成长的点点滴滴也一起记录下来就好了。 于是就有了这个小项目:鱼蛋花费。 为什么做这个? 其实市面上记账软件很多,写博客的平台也不少。但我想要的是一个只属于我们小家的地方——一边记录为鱼蛋花的每一分钱,一边写下她成长的小故事。不用太复杂,够用就好。 所以这个小站就两个核心功能: 📒 鱼蛋小账本 给鱼蛋买东西,经常是想起什么就买什么。如果每次都要打开APP,选分类,填金额,太麻烦了。 所以这个账本的设计理念就是:录入足够快,查看足够清楚。 支持简单的自然语言输入:说一句「午饭 35」就记好了一笔支出 可以通过 Telegram Bot 直接发消息记账,带娃的时候手机掏出来就能记 支持按分类、关键词筛选,想看看鱼蛋这个月奶粉花了多少钱,一搜就知道 用 Supabase 存数据,安全又省心 现在给鱼蛋买东西,习惯性地就给机器人发一句:「奶粉 280」,几秒就记好了。 🌱 成长 Log 除了花钱,更想记下鱼蛋成长的每一步。 直接用 Markdown 写,放在 content/blog/ 目录里 支持代码高亮,以后说不定可以教鱼蛋写代码呢(笑) 不用数据库,静态生成,部署维护都简单 想写的时候就写,不用特意登录什么后台。今天鱼蛋会笑了,明天学会翻身了,都可以记下来。等她长大了,再一起回头看,应该会很有意思。 🧱 技术栈 作为程序员爸爸,选了自己熟悉的技术: 框架:Next.js 16 App Router 语言:TypeScript UI:Tailwind CSS 4 + Radix UI 数据存储:Supabase PostgreSQL(只给账本用) 内容:Markdown + react-markdown Bot:Telegram Webhook 整体是个很轻量的项目,想加功能随时可以加。 一点感想 其实做这个项目的过程,也是在学习当爸爸的过程。 以前写代码总想着要做个大而全的东西,现在觉得,能解决一个小问题就好。能帮我好好记录鱼蛋的成长,能让以后有东西可回忆,这就够了。 未来可能还会加些功能:比如做个统计图表看看每个月花了多少钱,或者给博客加上草稿功能。但不急,慢慢来,和鱼蛋一起慢慢成长。 如果你也想搭一个类似的小站,可以去 GitHub 看看,代码都在那里。也欢迎提 Issue,一起交流育儿(和写代码)的心得。 鱼蛋,这是爸爸给你做的第一个小项目。欢迎你来到这个世界 ❤️

Sunday, April 26, 2026 · MING

鱼蛋的清单

鱼蛋的清单 鱼蛋的清单 大件类: 喂养台(可有可无) 安全座椅 尿布台(babyviva) 婴儿床➕床垫 成长椅(stokke)jd赤陶红 💰3579 婴儿车(uppababy vistia v3)💰4900 设备类: 宝宝监控 奶瓶的消毒柜 摇奶器 泡奶机 便携保温杯(不知道用处暂时) 爬爬垫 洗衣机(山姆买的给蛋用)或者再买一个! 爬爬垫的围栏 家里家具的防撞的 收纳工具 日用品类: 云柔巾:可心柔保湿柔纸巾110抽36包 💰115.07 棉柔巾 婴儿湿巾 一次性隔尿垫 可水洗隔尿垫 尿不湿:帮宝适黑金帮s码 4片 💰0.01 babycare山茶花s码 30片 💰34 Babycare山茶花s码3片 山茶棉柔巾 💰9.9 帮宝适一级帮l码4片 🆓 工具类: 奶粉 水奶(不知道用不用) 奶瓶🍼:贝亲经典米奇240ml 💰67.49 betta马年限定240ml 💰248 贝亲奶瓶玻璃 160ml 💰88.61 奶嘴 安抚奶嘴 硅胶勺子🥄 奶瓶清洗剂 奶瓶刷🪥 洗澡盆(薅月子中心) 洗屁股洗脚洗脸盆3个(看看能不能薅月子中心) 腰凳 温度计体温枪 衣架:babyviva蓝色衣架10个 💰15.31 小夜灯(可有可无) 安抚玩具 手摇玩具(jellycat) 床🔔玩具 黑白卡 颜色书📖 婴儿吹风机(不知道有没有用) 洗护类: 宝宝面霜 身体乳 抚触油 护臀膏 洗发露 沐浴露 婴儿碘伏棉签:babycare 36只💰7....

Tuesday, April 21, 2026 · MING

2024 Uk

📅11 月 28 日(周四) 早上 7:00,我终于抵达了希思罗机场✈️,我们俩都超级兴奋🥰!可能是长途飞行太累了,我直接倒头就睡,睡了一个下午😴。 晚上,我和 ykn 一起去吃了海底捞🥘,那美味简直让我们的味蕾都在跳舞💃! 7:30pm,我们来到了 His Majesty’s Theatre,准备观看戏剧🎭,真的好期待呀😆! 📅11 月 29 日(周五) 早上 8:00,我和 ykn 都按捺不住内心的激动,迫不及待地想要去探索伦敦啦😜! 第一站:壮观的伦敦塔桥🌉,它就像一条巨龙横跨在泰晤士河上,太震撼了😍! 第二站:Big Ben(大本钟),这座古老的建筑散发着浓厚的历史气息📸。 10:15am,我们来到了白金汉宫,准备观看换岗仪式🕴️(11 点正式开始哦,一定要早点去白金汉宫门口占个好位置呀🤗)。 看着那些英姿飒爽的卫兵们,迈着整齐的步伐进行换岗,真的太有仪式感了🎊! 11:40am,换岗仪式结束后,我们开始徒步前往威斯敏斯特大教堂⛪,一路上欣赏着伦敦的美景,感受着这座城市的文化底蕴🥰。 下午,我们继续打卡两大地标: 大本钟:在桥上拍了一张报纸合影📸,超有纪念意义! 伦敦眼:在售票处尝试买学生票,还真的省了一些钱😉。站在伦敦眼上,整个伦敦的美景尽收眼底,那种感觉真的太美妙了🤩! 📅11 月 30 日(周六) 今天我和 ykn 参加了从伦敦出发的 巨石阵、巴斯和温莎小团体一日游🚩。 巨石阵:神秘而震撼,让人忍不住去想象它背后的故事。 巴斯:古罗马浴场遗址让我们对历史有了更深的感悟🧐。 温莎:城堡的宏伟和皇室气息让我们惊叹不已😲! 这一天的行程紧凑而丰富,每一刻都充满了惊喜! 📅12 月 01 日(周日) 今天是 多佛白崖 的探险之旅🗿,早就预约好啦😉! 站在洁白的悬崖顶端,面对着一望无际的英吉利海峡,迎着清爽的海风,我们感受到了久违的自由和宁静🥰。那白色的峭壁与湛蓝的海天交相辉映,仿佛置身于一幅自然的油画中。这里的一切都让我们流连忘返。 📅12 月 02 日(周一) 上午,我们来到了 牛津大学🏫,与我的堂妹重逢,大家都特别开心😘! 在古老的校园中漫步,仿佛穿越了时光,感受着这座百年学府的学术氛围和文化底蕴🎓。 下午,我们转战 比斯特购物村🛍️,开启了疯狂购物模式🎉!琳琅满目的商品让人眼花缭乱,我们挑选了不少喜欢的物品,满载而归🛒。 📅12 月 03 日(周二) 最后一天,我们选择了自然醒,轻松地在伦敦市内随意逛逛🚶‍♂️🚶‍♀️。 没有特别的行程,只是静静地感受这座城市的细腻与从容。下午 3:50,我们前往希思罗机场✈️,结束了这段充满欢笑和难忘记忆的旅程💝。 后记:旅程的意义 这次伦敦之旅让我感受到了一座城市的多面性:从伦敦塔桥的壮丽到多佛白崖的自然美景,从白金汉宫的皇室庄严到牛津大学的学术氛围。每一站都是一次心灵的洗礼,每一个瞬间都值得铭记。 旅行的意义,或许就在于发现世界之大,同时重新认识自己。期待下一次,更加精彩的冒险!

Wednesday, December 4, 2024 · MING

[LIVE] 2024 USA Presidential Election

预测市场看2024美国大选 发表于 2024年11月5日 随着2024年美国总统大选的临近,预测市场为我们提供了一个有趣的视角来观察选情走势。通过分析 Polymarket 等预测市场平台的数据,我们可以了解到市场参与者对选举结果的预期。 实时预测市场数据 总统选举获胜概率 选举人票分布预测 预测市场的重要性 预测市场通过聚合大量参与者的判断和押注,往往能够提供比传统民调更准确的预测。参与者用真实资金下注,这使得他们有更强的动机去做出理性的判断。 如何解读预测市场数据 预测市场数据需要从以下几个角度来解读: 概率变化趋势:关注预测概率的变化趋势,而不是某一时刻的静态数字 交易量:较高的交易量通常意味着更可靠的市场预测 突发事件影响:关注重大新闻事件对预测概率的即时影响 州际对比:通过摇摆州的预测数据对比,分析选情关键点 影响因素分析 预测市场的走势受多个因素影响: 最新民调数据 候选人的竞选表现 重要政策宣布 突发事件的影响 结语 通过上述实时预测市场数据,我们可以直观地了解市场对选举结果的预期。但需要注意的是,预测市场仅代表参与者的集体判断,不应被视为选举结果的确定预测。选民仍然应该根据自己的判断投票。 免责声明:本文仅供参考,不构成投资建议。预测市场数据会实时变化,请以官方平台显示为准。 最后更新时间:2024年11月5日

Wednesday, October 16, 2024 · MING

环游半个地球:2024summer 美国飞行游记

启程 萌生一个边飞边玩的一整个特种兵之旅。杭州出发,到了 首尔,檀香山,洛杉矶,圣地亚哥。底特律,华盛顿特区,奥兰多。 *全部时间均为起飞城市当地日期 日期 航班号 航班 机型 08/14 OZ360 HGH-ICN A321NEO 08/14 HA460 ICN-HNL A330-200 08/14 HA4 HNL-LAX A330-200 08/18 DL764 SAN-DTW A321CEO 08/19 DL1558 DTW-DCA A321CEO 08/23 B62423 DCA-MCO A320 08/14 这是我第一次从杭州萧山 T4 出发,航站楼很新。 第一个联程是韩亚航空 OZ360 仁川中转夏威夷航空 HA460 韩亚和夏威夷航空有协议可以直接行李直挂到檀香山 OZ360 当天是由机龄 5 年空客 A321NEO 执飞的,注册号是 HL8364。 航班抵达仁川 T1,T1 航站楼是韩亚的主场,很多免税店和餐馆。 虽然我在杭州已经取到了联程的机票,但是需要在仁川的登机口换成夏威夷航空的票。 当天的 ICN-HNL,HA460 是由空客 A330-200 执飞,注册号 N395HA,机龄 10 年。 这个长国际段上没有提供机内 WIFI 落地的时候在 HNL 看到一堆来着亚洲的航班,特别是日本有 4 个航班都是日本来的,看到了 A380 蓝海龟 入境美国排队太长了,可能是时间的关系,太多航班一起到 HNL 了。上次@missuo 入境超快。 这次转机时间有 8 小时去檀香山市区转了一圈。 来了夏威夷当然是需要整一点的 POKE 啦 夏威夷的税是4% 购物也是买买买 很好逛,特别是Tiffany/LV有夏威夷价格比美国本土便宜一点。 去海边走了一圈。...

Sunday, October 6, 2024 · MING

Record an F1 to get a British visa in the United States

记一次 F1 在美国搞英国 🇬🇧 签证 网上虽然有很多英国签证的攻略了,但是我想记录一下我的时间线。 09/12/2024 填表和预约 英国签证在美国的价格是: 我申请的是 Standard Visitor visa 有效期是 180 天,在国内申请同价格直接升级 2 年的有效期。 这个链接可以直接进入申请页面:🔗 申请表注意的事项有: 如果有共同出行的人要分开申请 确保信息填写的准确性 填写完申请表,我选的是 USCIS 录指纹 9 月 20 日下午。 ASC 标准服务,你在线上传 英语 材料,然后去 USCIS ASC 录指纹,之后寄出护照贴签。没有额外的费用,一般处理时间是 15 个工作日之内,从交指纹的那天开始算。 我上传的文件有: 护照信息页 I-20 行程信息 银行对账单 I-94 US 驾驶证(用于验证地址) 09/18/2024 我购买了票帝的 UPS Label,英国签证只能用 UPS Label 寄回。 票帝邮寄服务价格查询 我从 DC 寄出 去时 Fedex,回来时 UPS 一共$45 09/22/2024 我没有使用 piao.tips 的服务 我找到了一家 更好用(价格更便宜)https://www.shipsaving.com/zh-cn/shipsaving-for-starter DC 到 NYC 2Day Air 10USD 返回的面单是到佛罗里达 一起在网页上创建的 12USD 也是 2Day Air 直接投递到 DC 的 UPS 站点...

Saturday, October 5, 2024 · MING

WebP Photo

Monday, September 16, 2024 · MING

如何注册公司:OwO Network LLC 的创立与注册流程完整指南

如何注册公司:OwO Network LLC 的创立与注册流程完整指南 注册公司是每个创业者必经的一步,虽然听起来有点复杂,但只要一步步来,其实没那么难。作为 OwO Network LLC 的首席营销官(CMO),我有幸参与并见证了公司从一个创意到合法实体的整个过程。这一路上有很多细节要注意,但也学到了不少实用的经验。今天,我想和大家分享我们在注册 OwO Network LLC 时的完整流程和心得,帮助那些正打算创业的人少走弯路。 1. 为什么选择在美国注册公司? 在开始之前,先说说为什么选择在美国注册公司。对很多科技创业者来说,美国有几个明显的优势: 法律体系成熟:LLC(有限责任公司)能很好地保护个人资产 税务灵活性:可以选择按合伙企业或公司方式纳税 国际认可度高:客户和合作伙伴更信任美国公司 银行和支付便利:更容易开通美国银行账户和 Stripe 等支付工具 当然,这不是唯一选择,但对我们做网络和 AI 业务来说,美国是个不错的选择。 2. 选择哪个州?为什么是怀俄明? 美国 50 个州,每个州的政策都不一样。我们最终选择了 怀俄明州(Wyoming),原因如下: 考虑因素 怀俄明州优势 州税 无州所得税、无特许经营税 隐私保护 成员信息不需要公开披露 年费低 年度报告费只需约 $60 注册便捷 允许外国人 100% 持股 代理服务成熟 有很多专业的注册代理公司 其他热门选择还有特拉华州(适合融资)、内华达州(隐私保护好),但怀俄明对我们这种小初创公司来说性价比最高。 3. 确定公司结构和名称 3.1 公司类型选择 我们选择了 LLC(有限责任公司),而不是 C Corp 或 S Corp,原因: 责任保护:个人资产和公司债务隔离 税务灵活:Pass-through taxation,避免双重征税 维护简单:不需要开年度股东大会、做会议记录 成员灵活:允许外国成员,没有人数限制 如果你计划未来融资,可能 C Corp 更合适,但对我们来说 LLC 刚刚好。 3.2 公司名称构思与查重 我们最终定了 “OwO Network”,希望它能够给人一种技术专业、但又不失亲和力的感觉。...

Sunday, September 15, 2024 · MING

AI ​​I am currently using

本文最后更新于 2024 年 4 月 20 日,未来可能会更新更多我在用的 AI 工具。 2023 年 2 月 ChatGPT 发布以来,已经过去一年多的时间了。作为一个科技爱好者,每一次的 iOS Beta 更新都会让我兴奋不已,我会在第一时间更新,即使有很多的 Bug,我也愿意作为那个上报 Bug 的人。而对于最近一年兴起的生成式 AI 也是如此,我从 2023 年 2 月开始,一直在使用各种类似的工具。一年多过去了,我有必要分享一些我在用的工具,以及最近一年我自己写的相关的项目。 从 ChatGPT 的诞生到今天,想要使用这些平台都有一些门槛,最早的 ChatGPT 必须要验证手机号以及需要魔法以外,最让人头大的是支付方式,最初我的帐号的支付都是用的我好朋友 Ming 的 BoA 信用卡。然而没过多久我来到了美国,直到今天我有了很多美国银行的银行卡,然而这些平台几乎都诞生于美国,几乎所有的平台都支持给美国的用户使用。因此,我也就有机会体验到很多新的 AI 模型。值得一提的是,目前为止我的所有帐号封号率为 0%。 平台 平台 订阅 使用频率 使用场景 ChatGPT Plus & Team 50% 写代码 / 文本生成 Claude Pro 40% 写代码 Perplexity Pro 10% 检索信息 / 搜索引擎 我自己其实最多的场景还是写代码,之前就是单平台,完全依赖 ChatGPT,现在逐渐将这些场景交给 Claude Opus,个人觉得 Opus 比起 GPT-4 的表现更优秀。而 Perplexity 是我最近才开始使用的,主要是用来检索信息,它的优点就是使用次数可以很多,每天 600 次对我来说绰绰有余。...

Saturday, April 20, 2024 · MING