研究

1. 首页
2. 研究

HotBot

HotBot是一款结合人工智能技术的智能搜索引擎，专注于提升搜索结果的相关性和准确性。它支持网页、新闻、图片等多种搜索类型，具备隐私保护功能，允许用户选择不被追踪的搜索记录。通过简洁友好的界面设计，HotBot为用户提供高效便捷的搜索体验，同时支持多语言操作，广泛适用于学术研究、日常生活、工作辅助及教育等多个领域。

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

靠岸学术

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

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

Onion AI

Onion AI是一款AI聚合搜索引擎，支持多平台切换，如Perplexity、ChatGPT等，可快速获取搜索结果。提供常用提示词保存、收藏网站快速访问等功能，提升搜索效率。数据云端存储并支持跨设备同步，适用于学术研究、工作办公、日常生活等多种场景，为用户提供便捷高效的搜索体验。

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

BeaGo

BeaGo是一款由零一万物开发的智能AI搜索助手，集文字与图像搜索于一体，具备强大的语义理解和个性化推荐功能。它能够快速生成简洁的信息摘要，提供可靠的搜索结果，并支持划词搜索和图文结合展示，广泛适用于日常生活、学术研究、工作辅助及学习辅导等多个场景。

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

Podwise

Podwise 是一款基于人工智能的播客知识管理工具，能够将播客内容转化为结构化的文字、总结和思维导图，帮助用户快速掌握核心信息。它支持全球范围内的播客搜索、多语言处理，并可与多种知识管理工具无缝衔接，适用于学习、研究、商业分析等多个场景。 ---

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

Textero.ai

Textero.ai是一款基于人工智能的学术写作辅助工具，能够快速生成高质量的论文草稿，提供文本摘要与大纲生成服务，支持多语言操作，确保内容原创性与学术合规性，帮助用户节省时间并提升写作质量。

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

o3

o3-pro 是 OpenAI 开发的高级推理模型，继承并优化了 o3 的功能，在复杂问题解决和精确答案提供上表现出色。它集成了 ChatGPT 的多种工具，如网页搜索、文件分析、图像推理和编程等，适合科学研究、编程、教育和写作等领域。尽管响应速度稍慢，但在表达清晰度、逻辑准确性和答案完整性方面表现优异，并在数学、科学和编程等领域的性能上超越了前代模型。

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

AgentSociety

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

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

EviMed

EviMed是一款基于人工智能的医学信息平台，整合全球七大权威医学数据库，提供多维度搜索、智能分析、科研选题、循证决策等功能。其依托深度学习与医学大模型，可快速生成精准医学知识总结，广泛应用于临床、科研、教育及公共卫生等领域，有效提升医学工作者的研究与决策效率。

AI项目与工具 2025年06月11日 97 点赞 0 评论 888 浏览

Goedel

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

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