搜索

1. 首页
2. 搜索

腾讯混元T1

T1（Thinker）是腾讯混元推出的深度思考模型，支持逻辑推理与联网搜索，具备高速响应和长文本处理能力。采用Hybrid-Mamba-Transformer架构，提升推理效率与准确性。适用于教育、医疗、市场分析等多个领域，输出简洁、幻觉低，适合复杂指令处理和多任务场景。

AI项目与工具 2025年06月12日 68 点赞 0 评论 237 浏览

理想同学网页版

理想同学网页版是一款由理想汽车推出的AI智能助手，集成DeepSeek R1/V3 671B满血版模型，支持多模型切换、联网搜索、图像识别等功能。用户可通过文字、长文本或图片进行交互，支持360°视觉追踪，提升交互体验。适用于办公、学习、多设备协同等场景，支持网页与移动端同步，打造无缝智能服务生态。

AI项目与工具 2025年06月12日 44 点赞 0 评论 238 浏览

CODE GIST

一个代码片段管理工具，CODE GIST可以帮助您存储、组织和分享代码片段，高效地管理和检索常用代码片段，提高开发效率。

Ai编程建站 2025年06月05日 100 点赞 0 评论 239 浏览

Jina AI

一家一家专注于神经搜索技术的商业开源软件公司，Jina AI致力于通过深度学习技术简化非结构化数据的搜索，提供高效、准确的搜索解决方案。

AI搜索问答 2025年06月05日 80 点赞 0 评论 239 浏览

Bilin AI

一款由沉浸式翻译团队开发的跨语言AI搜索引擎，这个Bilin AI搜索引擎能让你用中文找德语资料，看英文结果。

AI搜索问答 2025年06月05日 43 点赞 0 评论 239 浏览

古籍馆

古籍资源共享平台

剧本文案 2025年06月05日 50 点赞 0 评论 241 浏览

Research Rabbit

Research Rabbit是一款基于人工智能技术的科研文献管理工具，主要功能包括文献检索、集合创建、网络关系分析、时间轴展示、智能摘要和阅读、云端存储和管理以及协作和共享。该工具支持多种搜索选项，能够帮助用户发现和理解文献之间的联系，适用于个人和团队研究，涵盖多个学科领域。

AI项目与工具 2025年06月12日 49 点赞 0 评论 243 浏览

Easyicon

一个提供图标搜索和下载的图标网站，Easyicon拥有超过六十万个图标资源，支持SVG、PNG、ICO、ICNS等多种格式。

logo图标 2025年06月05日 82 点赞 0 评论 243 浏览

卡奥斯智能交互引擎

一款基于工业大模型技术开发的的工业知识智能搜索和解决方案精准生成平台，融合了智能检索、智能应用和多模态连续交互等多种功能。

AI搜索问答 2025年06月05日 86 点赞 0 评论 245 浏览

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

AI项目与工具 2025年06月12日 75 点赞 0 评论 248 浏览