AI工具
  1. 首页
  2. AI工具

列表

BFS

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。
AI项目与工具 2025年06月12日
ChildMandarin

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集，包含41.25小时高质量语音，覆盖全国22个省市。数据通过家长引导式对话采集，保证自然真实。该数据集支持语音识别、说话人验证和语言研究，适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域，为儿童语音技术研究提供重要资源。
AI项目与工具 2025年06月12日
DMind

DMind

DMind是由DMind研究机构开发的专为Web3领域优化的大型语言模型，针对区块链、去中心化金融和智能合约等场景深度优化。采用RLHF技术对齐，性能在Web3专项测试中表现优异，推理成本仅为大模型的十分之一。提供DMind-1和DMind-1-mini两个版本，适用于复杂任务和轻量级部署。支持智能合约生成与验证、DeFi交易代理部署、多轮对话交互等功能，基于Transformer架构，结合专业数
AI项目与工具 2025年06月11日
Qwen3

Qwen3

Qwen3 是阿里巴巴推出的下一代大型语言模型，支持“思考模式”和“非思考模式”，适用于复杂与简单任务。具备 119 种语言支持，优化了编码与 Agent 能力，数据量达 36 万亿 token，采用四阶段训练流程。提供多种模型配置，涵盖从轻量级到企业级应用。在多项基准测试中表现优异，广泛应用于文本生成、机器翻译、法律文书、技术文档、医疗辅助等领域。
AI项目与工具 2025年06月11日
LitLit（立理）

LitLit（立理）

LitLit（立理）是一款基于AI技术的学术工具，主要功能包括文献检索、文献阅读、综述生成、学术问答等。它能够通过自研算法精准筛选文献，快速生成文献综述，并支持文献内容的深度解析和个性化学习资源推荐。此外，LitLit（立理）还提供了实时学术问答服务，帮助用户高效完成学术研究和论文写作。
AI项目与工具 2025年06月12日
All GPTs

All GPTs

All GPTs目录是一个综合性在线资源，列出了各种GPT（预训练生成式转换器）模型、AI代理和应用程序。它是一个集中的地方，可以找到和探索基于AI的解决方案。
GPTs应用 2025年06月05日
VoiceDub

VoiceDub

VoiceDub 是一款AI驱动的音频处理平台，支持人声替换、声音克隆、文本转语音及音频分离等功能，提供超过10,000种AI人声音色。用户可通过平台进行音乐创作、有声内容制作及个性化音频生成，适用于多种应用场景，如语言学习、娱乐互动等。
AI项目与工具 2025年06月12日
Fluig

Fluig

Fluig 是一款基于 AI 的图表生成工具，可将文字、文档或代码快速转化为多种专业图表，如思维导图、流程图等。支持多模态输入和智能格式转换，操作简便，适合无设计背景的用户使用。提供实时协作功能，适用于教育、商业、研究等多个场景，提升信息可视化与团队协作效率。
AI项目与工具 2025年06月11日
Conbrie

Conbrie

Conbrie 是一款基于 AI 的知识整理与学习工具，支持文档解析、知识卡片生成、思维导图创建等功能，帮助用户高效整理和复习知识。具备多平台兼容性和多种文件导出格式，适用于个性化学习、在线教学等多种场景，提升学习效率与知识系统化程度。
AI项目与工具 2025年06月11日
Paper2Poster

Paper2Poster

Paper2Poster是由加拿大滑铁卢大学、新加坡国立大学等机构推出的学术框架，基于多模态自动化技术从科学论文生成海报。它通过Parser、Planner和Painter–Commenter系统实现内容压缩、布局优化和视觉质量提升，支持将长篇论文转化为结构化视觉海报。Paper2Poster引入PaperQuiz评估方法，确保海报有效传达核心内容，提高生成效率，适用于学术会议、报告、科研展示及教
AI项目与工具 2025年06月11日