Firesearch Firesearch 是 Mendable AI 团队推出的 AI 驱动的深度研究工具,基于 Firecrawl 多源网络内容提取技术和 OpenAI GPT-4o 的搜索规划与内容生成能力,能够将复杂查询分解为子问题进行搜索和内容提取。它支持答案验证、自动重试、实时进度更新、完整引用和上下文记忆等功能,帮助用户高效获取准确、全面的研究结果。工具基于 Next.js 15 构建,提供现代化的开发体 AI项目与工具 2025年06月11日 100 点赞 0 评论 764 浏览
AiPathly AiPathly是一款面向希望进入AI领域的专业人士的综合性平台,提供个性化技能评估、定制学习路径、职业匹配报告及实时行业洞察等功能。用户可通过模拟项目积累实践经验,并借助简历和作品集优化服务提升求职竞争力。无论是职业转型者、技能提升者还是学生群体,均可借助AiPathly实现高效成长与成功转型。 AI项目与工具 2025年06月12日 97 点赞 0 评论 763 浏览
漫剪猫 漫剪猫是一款基于AI的小说转漫画视频工具,可将文本故事智能化地转换为漫画风格的视频内容。它具备智能分镜生成、AI绘制及配音、丰富的素材库、简单的剪辑操作以及高效导出分享功能。这款工具适用于小说视觉化、社交媒体内容创作、教育培训等多个场景,助力用户轻松实现个性化编辑和高质量输出。 AI项目与工具 2025年06月12日 84 点赞 0 评论 763 浏览
TruMate TruMate是一款基于AI技术的社交应用,允许用户通过与定制化虚拟角色的文字互动获得情感陪伴和娱乐体验。平台提供丰富的角色筛选选项、沉浸式社交环境以及IP联动功能,支持用户创建个性化虚拟形象,适用于情感支持、社交练习、语言学习等多个场景。 AI项目与工具 2025年06月12日 64 点赞 0 评论 763 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 762 浏览
Qwen3 Qwen3 是阿里巴巴推出的下一代大型语言模型,支持“思考模式”和“非思考模式”,适用于复杂与简单任务。具备 119 种语言支持,优化了编码与 Agent 能力,数据量达 36 万亿 token,采用四阶段训练流程。提供多种模型配置,涵盖从轻量级到企业级应用。在多项基准测试中表现优异,广泛应用于文本生成、机器翻译、法律文书、技术文档、医疗辅助等领域。 AI项目与工具 2025年06月11日 11 点赞 0 评论 762 浏览
Manga Image Translator Manga Image Translator 是一个开源的漫画图片文字翻译工具,基于 OCR 和机器翻译技术,实现对漫画和图片中文字的自动识别与翻译。它支持多语言翻译,包括日文、中文、英文和韩文,并具备图像合成能力,保持原图风格。工具提供批量处理和在线/离线翻译功能,适用于漫画爱好者、语言学习者以及出版商等用户群体。 AI项目与工具 2025年06月12日 16 点赞 0 评论 762 浏览
Mureka V6 Mureka V6是昆仑万维推出的AI音乐创作平台基座模型,支持多语言音乐生成及纯音乐创作。采用自研ICL技术,提升音乐结构连贯性与情感表达。用户可通过文本、音频或音色参考进行个性化创作,适用于多种音乐风格与情绪。支持从简单模式到高级模式的灵活操作,广泛应用于音乐爱好者、专业音乐人及内容创作等领域。 AI项目与工具 2025年06月12日 37 点赞 0 评论 762 浏览
百聆 百聆是一款开源语音对话系统,融合语音识别、语音活动检测、大语言模型和语音合成技术,实现自然流畅的语音交互。支持低延迟运行,无需GPU,适用于边缘设备。具备记忆、工具调用和任务管理等功能,适用于智能家居、个人助理、车载系统等多种场景,提供高效的语音交互解决方案。 AI项目与工具 2025年06月12日 90 点赞 0 评论 762 浏览
ImageToVideo AI ImageToVideo AI 是一款基于人工智能的图像转视频工具,能够将静态图片转化为动态视频。通过智能分析图像内容并结合用户输入的文本指令,可添加动画、转场、音乐、字幕等元素,生成高质量、富有表现力的视频。支持多种格式输出,提供丰富的模板和自定义选项,适用于个人创作、内容制作、教育及广告等多种场景,提升视频制作效率与视觉效果。 AI项目与工具 2025年06月12日 80 点赞 0 评论 761 浏览