MiroThinker 1.5 发布，开源搜索智能体模型-低调大师

MiroThinker 1.5 发布，开源搜索智能体模型

2026-01-05 23

MiroThinker 是一款开源智能代理式 “深度研究（Deep Research）” 模型，旨在提升工具辅助推理和信息检索能力，支持跨不同挑战的复杂现实世界研究工作流程。

MiroThinker 1.5 最新版已发布，亮点如下：

1. Interactive Scaling 范式：告别堆参数的“做题家模式”，通过“推理-验证-修正”循环，将智能从内部扩张到外部世界。
2. 性能领先：235B 规模跑出全球第一梯队表现，30B 版本以 1/20 的推理成本对标万亿参数模型。
3. 时序敏感训练：严格遵循因果律，“只能看过去，不能看未来”，解决模型“剧透”幻觉，真正具备预测能力。
4. 实战战绩：成功预测 Polymarket 题目、A股涨停板及 GTA 6 发布趋势。

立即体验： https://dr.miromind.ai/

代码/模型：
Github： https://github.com/MiroMindAI/MiroThinker
Hugging Face：https://huggingface.co/miromind-ai/MiroThinker-v1.5-235B

微信关注我们

原文链接：https://www.oschina.net/news/394167

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Xmake v3.0.6 发布，原生 Android 应用、Flang、CUDA 13、Qt 打包

新特性介绍 Android 原生应用构建支持新版本对 Android 原生应用的构建支持进行了进一步改进。我们现在可以在android.native_app规则中配置更多参数，包括android_sdk_version,android_manifest,android_res,keystore等。此外，对于需要自定义入口和事件循环的场景（例如游戏引擎集成），我们支持通过设置native_app_glue = false来禁用默认的android_native_app_glue库。 add_rules("mode.debug", "mode.release") add_requires("raylib 5.5.0") target("raydemo_custom_glue") set_kind("binary") set_languages("c++17") add_files("src/main.cpp", "src/android_native_app_glue.c") add_syslinks("log") add_packages("raylib")...

2026-01-05

13

DBeaver 是一个免费开源的通用数据库工具，适用于开发人员和数据库管理员。DBeaver 25.3.2 已发布，具体更新内容包括： Data Editor：修复了 value change cancellation 的问题 Search：修复了 macOS 上中文、日语和其他类似语言的文本输入问题 Data transfer：已从日志中移除 CSV 导入期间出现的警告 Miscellaneous：修复了 Linux Debian 软件包问题 Snap：切换至 classic模式打包网页浏览器激活问题已解决 Office 集成问题已解决 DuckDB嵌入式驱动程序连接问题已修复 Databases： MySQL：修复了启用 SSH 时数据库转储的问题 ClickHouse：驱动程序版本已更新至 0.9.5 版本已修复 JSON 数据类型读取问题 CTE 表达式的问题已解决修复Active database selector 问题 LIMIT 子句和只读连接的问题已解决修复大数值渲染问题元组数据类型渲染问题已修复修复了数组数据类型获取/渲染方面的一些问题更新说明：h...

2026-01-05

15

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。