九游会J9在BrowseComp-ZH上达到84.4%-九游娱乐(中国)有限公司-官方网站
MiroMind的MiroThinker系列模子，每次更新皆有巨大率先。
高难度基准测试说明超GPT5！MiroThinker-v1.0深度询查模子，单次任务多达600次用具调用。（https://mp.weixin.qq.com/s/kThuch4BfM-8n6vAKS1Bsg）
最强搜索智能体：MiroThinker-v1.5再次刷新榜单。（https://mp.weixin.qq.com/s/0laoLOnzSf9q8d0KFA1cpA）
刚刚发布的MiroThinker-v1.7模子家眷，在深度询查任务中刷新了开源模子的最好收成，MiroThinker-H1深度询查评测收成更是超越了OpenAI、Google、Anthropic等巨头的最新家具。
新模子发布的同期，MiroMind还迎来了三位顶尖科学家的加盟。
伸开剩余88%深度询查智力的新标杆
MiroThinker 1.7模子家眷，这是一次针对长链条任务智能体的要紧升级。
所谓长链条任务，指的是需要多智力推理、屡次用具调用、深度信息检索才能完成的复杂任务。
MiroThinker 1.7支执256K险峻文窗口，大概进行长程推理和深度多步分析。
单个任务最多支执300次用具调用，比拟前代家具在自如推理和决议准确性上有了显耀进步。
模子提供30B和235B两个参数规模，适配不同的询查场景和算力预算。
在评测数据方面，MiroThinker 1.7交出了一份亮眼的收成单。
在BrowseComp评测中取得74.0%的准确率，在BrowseComp-ZH华文评测中达到75.3%，在GAIA-Val-165评测中取得82.7%，在HLE-Text评测中取得42.9%的收成。其中，BrowseComp-ZH的收成刷新了开源模子的最好记录。
而MiroThinker-1.7-mini仅用30B参数，就在BrowseComp-ZH上取得了72.3的收成，雷同轻视了开源模子的记录。通过优化的后教师历程，较小的模子规模也能在特定任务上达到出色的说明。
BrowseComp是由OpenAI发布的浏览智能体评测基准，条目模子在采蚁合执续导航以寻找难以发现、相互交汇的信息。这个评测专诚测试AI在齐集环境中定位信息的智力，其问题想象爽朗但挑战性极高，谜底神圣且易于考证。BrowseComp-ZH则是该评测的华文版块，专诚评估模子在华文互联网环境中的信息检索智力。
MiroMind还推出了一款非常智能体MiroThinker-H1，它在多个评测中皆取得了率先收成。
在BrowseComp上达到88.2%，在BrowseComp-ZH上达到84.4%，在GAIA上达到88.5%，在xbench-DeepSearch-2510上达到72.0%，在SEAL-0上达到61.3%。多个基准上超越了当今顶级闭源模子Claude-4.6-Opus，Gemini-3.1-Pro和OpenAI-GPT-5.4。
长链条可考证推理是MiroMind时期道路的中枢性情。推理过程不错被自如考证，推理截止不错被全局考证。这种按序进步了复杂智能体就业流的性能，使AI系统大概完成更可靠的任务。
三位顶尖科学家加盟
与MiroThinker 1.7发布险些同步，MiroMind文告三位寰宇级科学家加入其中枢AI询查团队。
三位科学家区别精致推理模子教师、入手时与智能体系统、可考证AI三大时期地方，组成了MiroMind重型求解器引擎的三大解救。
杜少雷博士出任推理模子与教师首席科学家。
杜博士现任华盛顿大学保罗·艾伦诡计机科学与工程学院副默契，询查领域涵盖机器学习表面、深度学习优化、大规模推理模子教师。
他曾在xAI担任时期团队成员，径直参与前沿大模子研发就业。此外，他曾在Facebook AI Research担任看望默契，在普林斯顿高档询查院从事博士后询查。
杜博士将精致MiroMind中枢推理模子教师系统的端到端构建，包括模子架构想象、大规模教师政策、推聪敏力的系统性增强。
华盛顿大学诡计机科学与工程学院在AI领域享有殊荣，杜博士于2024年取得斯隆询查奖，这是北好意思最具声望的后生科学家奖项之一。他的询查聚焦于为深度学习构建表面基础，会通模子的就业旨趣，并想象更好的算法。在强化学习、非凸优化、数据合成与选拔等领域皆有病笃孝顺。
安波默契出任入手时与智能体系统首席科学家。
安默契现任新加坡南洋理工大学终生默契，询查领域涵盖多智能体系统、强化学习、博弈论、AI驱动决议。他的询查效果发表在NeurIPS、ICML、AAAI等顶级海外会议上，论文被援用绝顶13300次。他教唆了多项大规模询查神志，带领了一代博士询查员。
安默契不仅在学术上建立斐然，在哄骗AI和时期鬈曲方面也有丰富训戒。他曾与多家率先科技企业和政府机构合营，参与大规模决议系统、自主和解机制、AI驱动优化等神志。
他将精致MiroMind入手时与智能体系统时期部门，监督系统实践层架构的想象和执续演进，鼓动推理模子与考证中枢的深度交融，缱绻是构建高度可靠、可水平扩展、十足可审计的系统框架。
杨凯宇博士出任可考证AI实验室首席科学家。
杨博士此前在Meta基础东谈主工智能询查院担任询查科学家，更早之前在加州理工学院从事博士后询查。他在可考证推理和容颜默契系管辖域建筑了率先的询查地位，这些领域恰是MiroMind时期愿景的中枢所在。
杨博士的询查缱绻是构建大概产出真确任截止的AI，其正确性无需消耗多数东谈主工锻真金不怕火。他的询查涵盖AI补助容颜定理默契、自动容颜化等领域，开拓了LeanDojo、CoqGym、Goedel-Prover等用具，被援用绝顶9600次。他在2025年4月的西蒙斯询查所演讲中系统推崇了容颜推理与大谈话模子聚拢的出息。
在MiroMind，杨博士将精致建筑和运营可考证AI实验室，聚焦两个要道询查地方，即可考证推理和可考证生成。
可发现智能的雄壮愿景
MiroMind的就业不是构建更善言辞的谈话模子，而是想象一类全新的AI系统，大概进行严格推理，科罚实际寰宇的勤奋，其输出不仅看似合理，况兼不错容颜化考证。
创始东谈主陈天桥是一位相连创业家和慈善家。他于1999年创立了恢弘齐集，创始了中国齐集游戏产业的先河，恢弘也成为国内最早的科技独角兽之一。尔后，他与内助创立了陈天桥雒芊芊脑科学询查所，恒久起劲于脑科学和神经科学询查。
陈天桥在中好意思两地皆有深厚的贸易和投资训戒，这为他构建MiroMind的寰球化视线奠定了基础。
MiroMind的愿景是打造可发现智能，即大概作念出揣度并探索新见识的AI，而非只是分析现存常识。
公司正在构建寰宇上第一个通用求解器，一种以推理为先的AI系统，其缱绻不仅是看起来正确，而是不错被默契正确。
通过创始可考证的长链条系统2推理，MiroMind的AI在软件工程、金融服务、医疗制药、法律合规、科学询查等高风险领域具备可靠性和真确度。
公司团队绝顶80%是博士询查员，由寰球顶尖的科学教唆团队引颈。
MiroMind正在走出一条出类拔萃的谈路，不追求模子规模的单纯彭胀，而是聚焦于推聪敏力和可考证性，这在现时AI领域是一股清流。
从评测数据来看，这条时期道路还是初见生效。MiroThinker-H1在BrowseComp和BrowseComp-ZH上均取得了整个模子中的最高分，区别达到88.2%和84.4%。在GAIA评测中，MiroThinker-H1的88.5%雷同是整个模子中的最好收成。
MiroThinker 1.7的开源发布，让更多询查者和开拓者大概讲和到这一时期道路的效果。
参考贵寓：
https://github.com/MiroMindAI/MiroThinker
https://huggingface.co/collections/miromind-ai/mirothinker-17
https://www.prnewswire.com/news-releases/miromind-announces-three-world-class-scientific-leaders-to-join-its-core-ai-research-team-302712917.html九游会J9
发布于：北京市
