新年刚至,陈天桥携手代季峰率先打响开源大模型的第一枪。
正式发布其自研的旗舰版搜索智能体模型——MiroThinker 1.5,堪称智能体模型领域的最强小钢炮。
最直观的还是基准测试上的性能评测:
在面对GPT-5-High、Gemini-3-Pro、DeepSeek-V3.2等一系列国内外顶尖模型,MiroThinker 1.5在四项基准测试中的表现都毫不逊色:
- HLE-Text*(人类终极测试)*:39.2%
- BrowseComp*(网页检索类大模型基准测试)*:69.8%
- BrowseComp-ZH*(BrowseComp的中文适配版本)*:71.5%
- GAIA-Val-165*(GAIA基准测试验证集)*:80.8%
尤其是在BrowseComp上,直接刷新了ChatGPT-Agent保持的榜单纪录,强势跻身全球第一梯队。
但要知道MiroThinker 1.5的参数规模只有它们的1/30,仅30B和235B大小。
换句话说,在全行业大模型都在卷参数规模和上下文长度时,MiroThinker 1.5直接用高智效比跑出了相近甚至更好的效果,原因就在于它抓住了这股“巧劲”:
给答案不靠死记硬背,而是通过大量深入的外部世界交互来逐步提升推理能力。
比如将MiroThinker-v1.5-30B和1T参数的Kimi-K2-Thinking对比,不仅在BrowseComp-ZH测试中实现了4.5%的性能超越,在推理成本上,MiroThinker 1.5的单条调用成本更是低至$0.07,只有Kimi的1/20。
不止如此,MiroThinker 1.5的推理速度也显著优于Kimi-K2-Thinking,足以见得**“大”不等于“强”**,叠参数也并非大模型的唯一通解。
值得关注的是,它对开发者也相当友好,上线即开源。
而负责操刀这款模型的正是MiroMind团队,此前曾凭借成功预测Polymarket*(全球最大的去中心化预测市场)*筛选题目,连续登顶Future X全球榜首,力压诸多国际顶尖机构和闭源商业模型。
MiroThinker 1.5的推出,则是在团队已有的技术积累上更进一步,整体预测能力达到next level。
那么具体效果如何?眼见为实,下面实测见真章。
小参数也能跑进第一梯队
实测之前,先简要介绍一下交互界面。(体验入口:https://dr.miromind.ai/)
和常规的大模型对话窗口一致,点击左下角按钮即可升级为专业模式:内置更大尺寸的模型,同时支持文件上传。
P.S.界面下方还有一些系统自动推荐的预测问题可供参考。
下面我们先以一个基础的体育赛事预测为例,测试模型对实时信息的捕获和分析能力:
在2026年即将举办的世界杯中,考虑到分组名单和球队阵容,请给出胜率预测及可能的原因。
首先给我的第一感受是:快+完整。
从输入问题到输出,总耗时两分钟,而且思维过程全部清晰可见。
比如它会先梳理自己所需的全部信息,给出一条合理的预测路径:分组情况→阵容信息→胜率预测。
接着在每一项具体步骤中,反思验证当前内容,并给出修正意见。
根据上一步的反馈,模型会逐渐逼近最合理的答案。
在这一点上,近似于数学的迭代,都是从一个初始猜测值出发,通过反复的过程计算,将结果一步步收敛到真实解。
或者简单来说,就是和面时,水多了加面,面多了加水,最后总能成型。
那么再看输出的结果,和模型一般最后放结论不同,MiroThinker 1.5直接开门见山,先给整体结论,以及详细的概率统计。(用户体验感UP!)
然后它会对每一支热门球队都进行一一阐述,包括所在小组情况、各阶段的出线概率和多角度原因,乃至可能遇到的隐患。
即使是一些概率较低的可能性,它也能面面俱到。
不过显然,MiroThinker 1.5在青春风暴VS老将最后一舞里,更支持前者。(doge)
接着我们再预测一个经典问题:GTA 6什么时候发?
也算是回归陈天桥的老本行了。
GTA 6明年能按时发布吗?请收集相关线索,给出确定性的回答。
很合理!预测逻辑严谨且层层递进,核心围绕着R星官方发布的权威信息,进行了多维度交叉验证,强化结果的可信度。
这次我们再将同样的问题,交给ChatGPT、Gemini和DeepSeek,看看它们又会给出怎样的结果。
- ChatGPT:和MiroThinker 1.5的逻辑闭环相似,既遵循了行业规律,也为普通用户提供了建议。
- Gemini:虽然把核心时间说清楚了,但证据支撑不足、缺乏风险提示。
- DeepSeek:和Gemini类似,缺少关键背景补充,分析维度也相对单一。
有意思的是,仔细回看Gemini和ChatGPT的分析过程,它们都不约而同地在解释为什么2025年不能发……
一顿操作猛如虎,结果忘了已经2026。
更深入一步,最后我们尝试将MiroThinker 1.5放进专业场景中测试,比如股市预测。
请根据今天A股的指数面,情绪面,板块以及前几天的情况,帮我选择一只连板梯队里最有可能晋级的股票。
(注:以下仅为技术展示,不构成投资建议)
同样,MiroThinker 1.5非常之快,不只是推理速度快,收集新信息的速度也相当快。
在股市这类不确定性强的复杂环境中,MiroThinker 1.5能够做到有理有据,既不是凭感觉走的玄学赌徒,也不是事后找补的诸葛亮,而是在极度噪声化环境中做到证据集合和可验证的因果推断。
总之实测下来,MiroThinker 1.5确实是一款区别于市面上同类产品的模型,调用轻松、思考过程可视、逻辑也更严明,不靠单一猜测下定论,而是在不断复盘交互中逐步逼近真相。
u1s1,光冲着这理性全面的证据链,就值得一个点赞。
将交互内化进模型推理,用确定性对抗不确定性
问题是为什么MiroMind团队能率先做到这一点?
关键依然在“大力出奇迹”。
在过去一年里,行业普遍存在的问题是过度依赖堆参数叠资源,本质来说就是让模型吃进更多知识,然后思维链沿着已记住的知识空间一步步往前推。
一旦其中一步发生偏离,后面所有步骤都会随着这个错误累计放大,最终导致整条逻辑链崩坏。
换言之,当模型参数规模到达一定程度后,继续堆资源对模型预测的边际收益只会迅速下降,行业不得不寻找新的智能增长路径。
MiroThinker 1.5的解法恰恰在于将推理过程和外部环境深度绑定,为每一轮推理都引入一个反馈校验环节,构建起一整条**“推理-验证-修正”**的循环路径。
首先是将Interactive Scaling从原先的推理阶段前移,并内化为训练阶段的核心机制,把模型训练成一个更注重求证、校验和自我修正的探索型Agent。
范式的转变决定了模型不再局限于内部知识和单次长链推理,而是通过和物理世界建立更深入的交互,以强化自身的行为模式:
- Evidence-Seeking(主动求证):模型会将每个关键判断拆解为可验证子假设,并主动发起对外查询、检索与比对。如果输出缺乏信源支撑,则会受到惩罚。
- Iterative Verification(多轮校验与自我修正):推理过程不再是一次性路径,而是允许反复回溯修正。当发现证据矛盾时,会立即进行调整,而非像传统思维链那样将错误延续下去。
- Anti-Hallucination(对捷径的系统性过滤):对过去一些看似合理但缺乏证据的推理结果给予否定,并标记为低质量推理。相比之下,更关注“怎样得出答案”,而非只是简单的对错。
由此,MiroThinker 1.5形成了行之有效的本能反应:
对于不确定性问题,先交互再判断;对于高风险结论,先查证再收敛。
模型不再依赖全部的世界知识,也无需那么多的参数支持,就能够按需地向外部世界精准取证,最终促成更小的参数规模,却拥有更高的智能密度。
而这正是MiroThinker 1.5推理成本显著降低,但性能始终保持一线水准的根本原因。
其次是让模型杜绝复述结果,实现未来预测的关键因子——时序敏感训练沙盒。
传统大模型表面上看似是预测,实则只是在知识库里搜索结果并复述出来,或者是使用未来时间范畴的数据超前“剧透”,时序敏感训练沙盒则为模型戴上一个“紧箍咒”,严格约束只能使用当前可见的信息,并做出真实预测。
它可以分为两步,其一是可控数据合成引擎,负责构建覆盖多任务类型的、难度与时间戳可控的数据合成体系。
每一道题目的答案都会随着时间戳动态演化,判断过程会严格限制信息可见性,校验阶段同样也会显式引入时间戳约束,以确保推理逻辑和评分标准都符合真实世界的时间因果关系。
其二是时序敏感训练机制,在每一步训练中都只能访问当前时间戳之前的信息,从机制上彻底杜绝Future Leakage*(未来信息泄露)*,模型无法超前看到结果。
这样下来,模型就会被迫学会在信息不完备、噪声存在、信号延迟的真实条件下完成推演,并随着新证据的出现不断修正判断。
时间也从原来被忽视的背景变量,升级为塑造模型行为与推理方式的核心约束,使模型更接近真实世界时序的认知与决策过程。
模型的预测能力不再是不可知的黑箱过程,而是可训练强化的关键要素。
当预测被拆解为一系列可约束、可反馈、可修正的行为模式之后,模型能力的上限也随之发生改变:性能提升不再简单取决于参数规模的线性扩张,而开始受益于模型与外部世界交互的方式与效率。
做题家模式 VS 科学家模式
而这套以小搏大的逻辑背后,正是MiroMind团队长期以来对Scaling Law的再解读。
早在模型1.0版本中,MiroMind就首次系统性提出了除模型规模、上下文长度之外的第三大核心可扩展维度Interactive Scaling,把智能的增长空间瞄准到外部世界。
V1.5则是在此基础上,进一步落地融入贯穿训练与推理的全流程。
传统的Scaling Law,走的是靠大脑更大解决问题的路线,本质上是**“做题家模式”**,靠记忆和统计,而非真正理解和验证。
反之当模型内化Interactive Scaling,它就不再是靠概率瞎猜,而是像科学家一样建立起慢思考的研究闭环:提出假设→向外部世界查数据/取证→发现对不上→修正假设→再查证,直到证据收敛到合理范围之内。
这样能有效降低Scaling Law导致的幻觉,提升可靠性。
所以与其说这是算力的博弈,不如说是底层逻辑的转变在影响算力的着力点:算力没有集中用于模型的知识储备,毕竟知识无限,但算力始终有限。
有限的算力无法覆盖掉全部的知识,所以不妨转换思路,将算力效益最大化,也就是引向该去的地方——对外的信息获取与交互,把智能的扩展维度从“更大脑袋”变成“更勤快的手”。
这一点也与MiroMind始终强调的发现式智能不谋而合,即在未知条件下重建对世界的理解,抽丝剥茧发现真相而非简单地记住答案。
它不靠全知,而靠会研究、会查证、会修正。它能像顶级情报官一样对外极速取证、对内严苛去伪存真;像严谨研究员一样在不确定性里逼近真相,把“预测未来”从特权变成能力。
显然,陈天桥带领下的MiroMind已经率先转换赛道,找到了智能“奇点”的关键所在,是交互。
如何学习大模型 AI ?
由于新岗位的生产效率,要优于被取代岗位的生产效率,所以实际上整个社会的生产效率是提升的。
但是具体到个人,只能说是:
“最先掌握AI的人,将会比较晚掌握AI的人有竞争优势”。
这句话,放在计算机、互联网、移动互联网的开局时期,都是一样的道理。
我在一线互联网企业工作十余年里,指导过不少同行后辈。帮助很多人得到了学习和成长。
我意识到有很多经验和知识值得分享给大家,也可以通过我们的能力和经验解答大家在人工智能学习中的很多困惑,所以在工作繁忙的情况下还是坚持各种整理和分享。但苦于知识传播途径有限,很多互联网行业朋友无法获得正确的资料得到学习提升,故此将并将重要的AI大模型资料包括AI大模型入门学习思维导图、精品AI大模型学习书籍手册、视频教程、实战学习等录播视频免费分享出来。
第一阶段(10天):初阶应用
该阶段让大家对大模型 AI有一个最前沿的认识,对大模型 AI 的理解超过 95% 的人,可以在相关讨论时发表高级、不跟风、又接地气的见解,别人只会和 AI 聊天,而你能调教 AI,并能用代码将大模型和业务衔接。
- 大模型 AI 能干什么?
- 大模型是怎样获得「智能」的?
- 用好 AI 的核心心法
- 大模型应用业务架构
- 大模型应用技术架构
- 代码示例:向 GPT-3.5 灌入新知识
- 提示工程的意义和核心思想
- Prompt 典型构成
- 指令调优方法论
- 思维链和思维树
- Prompt 攻击和防范
- …
第二阶段(30天):高阶应用
该阶段我们正式进入大模型 AI 进阶实战学习,学会构造私有知识库,扩展 AI 的能力。快速开发一个完整的基于 agent 对话机器人。掌握功能最强的大模型开发框架,抓住最新的技术进展,适合 Python 和 JavaScript 程序员。
- 为什么要做 RAG
- 搭建一个简单的 ChatPDF
- 检索的基础概念
- 什么是向量表示(Embeddings)
- 向量数据库与向量检索
- 基于向量检索的 RAG
- 搭建 RAG 系统的扩展知识
- 混合检索与 RAG-Fusion 简介
- 向量模型本地部署
- …
第三阶段(30天):模型训练
恭喜你,如果学到这里,你基本可以找到一份大模型 AI相关的工作,自己也能训练 GPT 了!通过微调,训练自己的垂直大模型,能独立训练开源多模态大模型,掌握更多技术方案。
到此为止,大概2个月的时间。你已经成为了一名“AI小子”。那么你还想往下探索吗?
- 为什么要做 RAG
- 什么是模型
- 什么是模型训练
- 求解器 & 损失函数简介
- 小实验2:手写一个简单的神经网络并训练它
- 什么是训练/预训练/微调/轻量化微调
- Transformer结构简介
- 轻量化微调
- 实验数据集的构建
- …
第四阶段(20天):商业闭环
对全球大模型从性能、吞吐量、成本等方面有一定的认知,可以在云端和本地等多种环境下部署大模型,找到适合自己的项目/创业方向,做一名被 AI 武装的产品经理。
- 硬件选型
- 带你了解全球大模型
- 使用国产大模型服务
- 搭建 OpenAI 代理
- 热身:基于阿里云 PAI 部署 Stable Diffusion
- 在本地计算机运行大模型
- 大模型的私有化部署
- 基于 vLLM 部署大模型
- 案例:如何优雅地在阿里云私有部署开源大模型
- 部署一套开源 LLM 项目
- 内容安全
- 互联网信息服务算法备案
- …
学习是一个过程,只要学习就会有挑战。天道酬勤,你越努力,就会成为越优秀的自己。
如果你能在15天内完成所有的任务,那你堪称天才。然而,如果你能完成 60-70% 的内容,你就已经开始具备成为一名大模型 AI 的正确特征了。