研究

Opera Neon

Opera Neon是Opera推出的AI Agent浏览器,基于智能Agent技术重新定义浏览器功能。它支持浏览网页、与用户合作完成任务,如研究主题、自动化工作流程和创建内容。核心功能包括聊天、执行任务和创作内容。用户可通过官网加入等待名单,目前处于邀请制。Opera Neon提供多种应用场景,如旅行规划、金融分析、内容创作、教育研究和任务自动化。其功能涵盖即时答案、研究、内容生成、导航网页完成

Goedel

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

o3

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

AgentSociety

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

EviMed

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

靠岸学术

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

卡思数据

为视频内容创作者在节目创作和用户运营方面提供数据支持

OpenDeepResearcher

OpenDeepResearcher 是一款开源 AI 研究工具,通过迭代搜索和 LLM 驱动的推理,实现自动化信息查询、分析与报告生成。支持异步处理和去重功能,提升效率并减少重复工作。适用于金融、科研、政策等领域,为用户提供高效、低成本的研究解决方案。系统可自动完成从搜索到总结的全过程,广泛应用于文献综述、行业分析、公司研究等场景。

GPT学术优化

GPT学术优化是一款专为学术研究与写作设计的开源工具,提供论文翻译、代码解析、信息提取、LaTeX校对、论文润色及摘要生成等功能。其模块化设计支持灵活扩展,通过大型语言模型实现高效的语言处理任务,适用于学术研究、教育辅导、项目开发和技术文档撰写等多个场景。

Macro PDF

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