Goedel

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

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

SAM 2.1

SAM 2.1是一款由Meta开发的先进视觉分割模型，支持图像和视频的实时分割处理。其核心功能包括用户交互式分割、多对象跟踪、数据增强以及遮挡处理等。通过引入Transformer架构和流式记忆机制，SAM 2.1显著提升了对复杂场景的理解能力。该工具具有广泛的应用场景，涵盖内容创作、医疗影像分析、自动驾驶等多个领域。

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

MinMo

MinMo是阿里巴巴通义实验室推出的多模态语音交互大模型，具备高精度语音识别与生成能力。支持情感表达、方言转换、音色模仿及全双工交互，适用于智能客服、教育、医疗等多个领域，提升人机对话的自然度与效率。

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

Playground AI

Playground AI 是一款流行的人工智能绘图和图像编辑工具，主要功能包括AI文本到图像生成、创意社区作品分享、提示词智能优化和图像到图像的转换。它提供灵活的创作模式，支持用户上传现有图片或草图生成全新的艺术作品。此外，Playground AI 还提供了一个UGC创作社区，用户可以在其中发现多种风格的图片，并借鉴提示词进行创作。Playground AI 提供了免费版和多个付费版本，以满足

AI项目与工具 2024年01月01日 40 点赞 0 评论 767 浏览

LipRead Pro

LipRead Pro 是一款基于AI技术的视频唇读工具，可将视频中的唇部动作转换为文字，支持多语言和口音识别。其高精度算法确保了文字输出的准确性，适用于内容创作、无障碍辅助、安全监控、历史档案修复等多种场景。操作简便，处理高效，注重用户数据隐私保护，适合专业用户和普通用户使用。

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

Finalle

Finalle是一款基于人工智能技术构建的金融分析平台，专为现代投资者设计。它通过实时数据分析、新闻事件集成以及财报解读等功能，帮助用户深入了解市场动态和股票表现。此外，Finalle还兼具投资者教育属性，提供从基础入门到进阶应用的学习资源。其核心优势在于高效的数据处理能力、简洁的操作体验以及对主流美股的深度覆盖。

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

NotebookMLX

NotebookMLX 是一款基于 MLX 技术开发的开源工具，支持将 PDF 文档转换为音频播客。它通过 PDF 预处理、播客脚本生成、文本优化以及文本转语音等功能，实现了从 PDF 文件到高质量音频内容的全流程自动化处理，适用于教育、播客创作、有声书制作等多个领域，显著提升了信息传播效率和用户体验。

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

AI Meeting Notes

AI Meeting Notes 是 Notion 提供的智能会议记录工具，支持实时转录、自动生成会议摘要、提取行动项及团队协作。用户可通过快捷键或日历集成快速启动，支持多设备同步和多语言使用，提升会议管理效率与信息整理能力。

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

Ugic

Ugic是一款由即时设计开发的Figma AI设计插件，能够基于用户上传的组件库和设计系统，智能化地生成多语言UI草图。它支持文本到结构的转换，允许用户通过输入产品需求文档或描述文本快速生成页面布局，并具备个性化组件库选择和迭代设计功能，显著提高了设计效率。Ugic适用于设计师、跨国团队和产品经理，支持多种语言，是优化设计工作流的有力工具。

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

FaceSwap

FaceSwap是一款开源AI换脸软件，利用深度学习技术实现人脸检测、提取及替换。它支持跨平台操作，包括Windows、macOS和Linux，并可借助GPU加速提升处理效率。FaceSwap还允许用户自定义模型训练以优化换脸效果，广泛应用于影视制作、教育、游戏开发以及虚拟现实等领域。

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