研究 - 智狐AI导航

靠岸学术

Scholaread是一款专注于学术研究的多功能工具，集成了PDF阅读、学术翻译、文献管理和笔记功能。其主要特点包括支持多平台同步、一键同步Zotero论文库、重排模式优化阅读体验、逐段对照翻译支持多语言、图片及表格放大查看、引文添加至阅读列表、目录跳转以及高亮笔记标注。适用于学术研究、文献综述、跨语言研究、移动学习及团队协作等多种场景。

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

START

START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型，通过集成外部工具（如Python代码执行器）提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术，结合长链推理与工具调用，显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力，适用于科研、教育、编程等多个领域，是首个开源的长链推理与工具集成模型。

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

Macro PDF

Macro PDF 是一款面向学术、法律和金融领域的 AI PDF 工具，支持智能文档处理、术语解释、摘要生成、多语言翻译及交互式问答等功能。用户可通过高亮文本获取即时解释，实现高效阅读与分析。支持多种 AI 模型，具备高级编辑功能和跨平台兼容性，适用于合同审查、财务分析、文献研究等场景，提升工作效率与信息处理能力。

AI项目与工具 2025年03月12日 69 点赞 0 评论 583 浏览

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统，旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建，具备生成假设、优化方案、文献整合等功能，通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展，展现加速科学发现的潜力。

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

封神榜

封神榜-IDEA研究院是一套致力于中文认知智能的研究项目，它通过一系列先进的语言模型和多模态模型，推动了中文自然语言处理技术的发展。

Ai平台模型 1970年01月01日 0 点赞 0 评论 587 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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

AgentSociety

AgentSociety是由清华大学开发的基于大语言模型的社会模拟平台，通过构建具有“类人心智”的智能体，模拟复杂的社会行为与现象。平台支持城市环境建模、大规模社会模拟和科研工具集成，适用于社会舆论传播、政策评估、社会极化分析及灾害响应研究。其技术特点包括异步模拟架构、分布式计算和MQTT通信，具备高度可扩展性和实时交互能力。

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