研究

HotBot

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

Rabbithole

Rabbithole 是一款基于AI的互动式知识探索工具,通过自然语言对话帮助用户深入了解历史事件和主题。平台支持对话记录保存、个性化内容推荐以及多样化的历史话题库,适用于历史爱好者、学生、教师及研究人员等多种用户群体,提升学习效率与知识获取深度。

Agent Laboratory

Agent Laboratory是由AMD与约翰·霍普金斯大学合作开发的基于大型语言模型的研究辅助工具,支持从文献综述到报告撰写的全流程科研任务。它具备实验设计、代码生成、结果分析等功能,并通过多代理协作和用户反馈机制提升研究质量。实验表明其可显著降低研究成本,适用于机器学习、生物医学等多个领域。

Webscrape AI

Webscrape AI是一款基于AI技术的网页数据采集工具,无需编程技能即可实现自动化数据抓取。它具有高精度、高效率和可定制化的特点,能够帮助企业快速获取所需数据,广泛应用于市场研究、价格监控、客户反馈分析等领域。此外,Webscrape AI提供灵活的订阅方案,适应不同规模企业的使用需求。

Goedel

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

Onion AI

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

o3

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

靠岸学术

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

START

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

Macro PDF

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