Open Deep Research Open Deep Research 是一个开源 AI 智能体,支持多语言模型和 Firecrawl 数据提取,用于执行复杂的研究任务。它提供统一 API 和 Next.js 框架,具备实时数据处理、结构化信息提取及多维度分析能力,适用于文献综述、行业分析、投资研究等场景。 AI项目与工具 2025年06月12日 33 点赞 0 评论 330 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 470 浏览
OpenThinker OpenThinker-32B 是一款由多所高校联合开发的开源推理模型,拥有 328 亿参数和 16,000 token 上下文支持,以高效的数据利用和严格的质量控制著称。模型基于少量数据实现优异性能,适用于数学、科学、代码生成等多种推理任务。全面开源,提供模型权重、代码和数据集,支持研究与开发扩展。 AI项目与工具 2025年06月12日 23 点赞 0 评论 383 浏览
WebLI WebLI-100B是由Google DeepMind推出的超大规模视觉语言数据集,包含1000亿个图像与文本配对数据,是目前最大的视觉语言数据集之一。其设计旨在提升模型对长尾概念、文化多样性和多语言内容的理解能力。数据集通过网络爬取构建,保留了丰富的语言和文化多样性,支持多模态任务如图像分类、图像描述生成和视觉问答,广泛应用于人工智能研究、工程开发及教育领域。 AI项目与工具 2025年06月12日 51 点赞 0 评论 263 浏览
Perplexity Deep Research Perplexity Deep Research 是一款基于 AI 的深度研究工具,能执行多轮搜索并整合海量信息,生成结构化研究报告,支持多种格式导出。具备强大的推理能力与高效处理速度,适用于金融、市场、技术等多个领域,也可用于个人场景。在准确性方面优于多个主流模型,提供免费与付费两种使用模式。 AI项目与工具 2025年06月12日 98 点赞 0 评论 293 浏览
Shallow Research Shallow Research 是一种基于“小模型+大模型”架构的快速信息处理工具,能够在短时间内完成大量网页内容的搜索、整理和初步分析,适合需要高效获取信息和生成初步结论的场景,提升研究与决策效率。 AI项目与工具 2025年06月12日 22 点赞 0 评论 390 浏览
Kimi Latest Kimi Latest是月之暗面推出的实时更新AI模型,支持128k上下文长度,可自动选择模型规模并优化成本。具备图像理解、自动上下文缓存和多模态处理能力,适用于聊天应用、内容创作及数据分析等多种场景,为开发者和用户提供稳定高效的AI解决方案。 AI项目与工具 2025年06月12日 38 点赞 0 评论 242 浏览
CLaMP 3 CLaMP 3是由清华大学朱文武教授团队开发的多模态、多语言音乐信息检索框架,支持文本、图像、音频和乐谱等多种模态之间的跨模态检索。其基于对比学习技术,将不同模态数据与多语言文本对齐至统一语义空间,适用于文本到音乐、图像到音乐检索、零样本分类及音乐推荐等任务。支持27种语言,可扩展至100种,广泛应用于音乐创作、教育、分析及多媒体内容制作。 AI项目与工具 2025年06月12日 86 点赞 0 评论 173 浏览
TongGeometry TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型,采用树搜索和神经符号推理技术,能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库,涵盖67亿个需辅助构造的定理,具备广泛应用场景,如数学竞赛、教育及研究领域,支持复杂几何问题的探索与教学资源开发。 AI项目与工具 2025年06月12日 38 点赞 0 评论 339 浏览
KnowS KnowS是一款面向医学领域的AI搜索引擎,结合医学知识图谱与大语言模型技术,提供精准、高效的医学信息支持。主要功能包括提问式搜索、AI精读、文献分析、专题报告生成及智能诊断辅助,适用于临床、科研与医学教育场景,支持中英文双语输出,提升医学知识获取与处理效率。 AI项目与工具 2025年06月12日 70 点赞 0 评论 407 浏览