AI项目与工具

BFS

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

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

cpmGO

cpmGO是面壁智能推出的端侧智能助手，专为汽车座舱设计，支持多模态交互与本地化处理，保障隐私并适应弱网环境。其基于MiniCPM模型优化，具备智能任务处理、快速响应及灵活定制能力，适用于多种智能汽车场景，提升人车交互的便捷性与安全性。

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

Paperpal

Paperpal是一款专为学术写作设计的AI工具，提供语言编辑、文本改写、投稿检查、抄袭检测、学术翻译等多功能服务。通过整合先进的AI技术，Paperpal能够实时提供符合学术规范的语言建议，并支持多种语言翻译与文献引用生成，助力用户高效完成科研任务。其适用范围覆盖学术写作全流程，特别适合全球范围内从事科学研究的专业人士。

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

瑞智病理大模型

瑞智病理大模型（RuiPath）是由上海交通大学医学院附属瑞金医院与华为联合开发的国产多模态病理诊断系统，覆盖中国90%的常见癌种及部分罕见病。通过整合图像、文本等多源数据，实现高效、精准的辅助诊断，支持交互式审核流程，提升诊断效率与准确性。模型基于深度学习与华为DCS AI平台，适用于临床诊断、基层医疗、医学教育等多个场景，推动病理诊断智能化发展。

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

Rope

Rope是一款基于深度学习的开源AI换脸工具，利用insightface的inswapper_128模型提供直观的图形界面，支持图片和视频换脸。它具备强大的遮罩功能和参数调节选项，支持超分辨率算法，广泛应用于影视制作、游戏开发、虚拟现实等领域。

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

MolyPix.AI

Molypix.AI是一款利用生成式AI技术的在线图形设计工具，支持用户通过简单文字输入快速生成专业级视觉内容。平台提供多样化的模板及强大的编辑功能，适用于海报、邀请函、明信片等多个领域，同时拥有免费及付费版本供不同需求用户选择。

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

SpeechGPT 2.0

SpeechGPT 2.0-preview 是复旦大学 OpenMOSS 团队开发的拟人化实时交互系统，基于大量中文语音数据训练，支持低延迟、高自然度的语音与文本交互。具备情感控制、实时打断、多风格语音生成等功能，适用于智能助手、内容创作及无障碍通信等场景，技术上融合了语音-文本联合建模与多阶段训练策略，提升语音表现力与智能化水平。

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

Docling 是一款开源工具，支持多种文档格式的解析与转换，包括 PDF、DOCX、PPTX、图片和 HTML。它通过高级 PDF 理解和 OCR 技术，将文档内容转换为统一的结构化格式（如 Markdown 和 JSON）。Docling 可与 LlamaIndex 和 LangChain 集成，增强文档的检索和问答能力，并提供简洁的命令行界面，适用于自动化文档处理、数据科学、知识管理和信息检

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