研究

1. 首页
2. 研究

Goedel

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

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

靠岸学术

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

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

Podwise

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

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

Textero.ai

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

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

Agent Laboratory

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

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

Rabbithole

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

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

HotBot

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

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

笔尖AI论文

一款专为大学生、研究生和博士生设计的智能论文辅助工具，笔尖AI目的为用户提供高效、精准的毕业论文、期刊论文范文写作服务。笔尖AI还支持论文降重和查重，帮助学生在写作过程中优化内容，提升原创性，确保论文符合学术要求。

教育学习 2025年06月05日 10 点赞 0 评论 825 浏览

GPT学术优化

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

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

Picarta

Picarta是一款基于AI技术的图像位置识别工具，可自动分析照片并提供地理信息，支持旅行照片整理、摄影管理、新闻验证和历史研究等功能。平台注重隐私保护，提供多样化的服务模式，满足个人和企业用户的需求。

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