软件

1. 首页
2. 软件

Goedel

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

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

360AI办公

一款集成了多种办公工具和海量内容模板的办公效率平台。360AI办公提供方便的PDF工具集，支持PDF转换和编辑，以及强大的图片编辑和压缩功能。

Ai办公效率 2025年06月05日 71 点赞 0 评论 515 浏览

Lobe Chat

Lobe Chat 是一个免费开源的高性能 AI 聊天机器人框架，具备多种功能，如 GPT-4 视觉识别、文字语音转换、灵活的插件系统及个性化主题模式。用户能够轻松部署和扩展功能，适用于各种场景。该框架已在 GitHub 上获得近 14K 星标，展示了其受欢迎程度和实用性。

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

FaceSwap

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

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

Inpaint图片去水印

一款强大实用的图片去水印软件

图片处理 2025年06月05日 61 点赞 0 评论 510 浏览

PPT.cn

PPT.cn 是一个基于 AI 技术的智能 PPT 制作平台，用户输入主题或上传文档后，系统可快速生成逻辑清晰、视觉效果出色的 PPT 框架和内容。平台提供上千套涵盖多行业的精美模板，支持多种风格和格式导出，适用于职场汇报、提案演示、课程讲解、产品介绍和个人项目展示等多种场景。

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

AutoCoder

AutoCoder是一款基于AI技术的自动编程工具，利用大模型和PLE架构实现端到端代码生成。它支持非技术背景用户通过自然语言描述需求生成软件应用，并具备快速原型制作、功能迭代及全生命周期管理能力，适用于快速原型开发、个性化软件生成及教育等多个领域。 ---

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

TestSprite

TestSprite 是一款基于 AI 的自动化测试平台，支持后端 API、前端 UI、数据及 AI 模型的测试，能够自动生成测试计划、执行测试并输出详细报告。其核心优势在于提升测试效率、减少人工干预，并适用于多种测试场景，如软件发布前验证、CI/CD 集成、生产环境监控等，帮助企业提升软件质量与交付速度。

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

Arctime字幕软件

简单、强大、高效的跨平台字幕制作软件

字幕配音 2025年06月05日 76 点赞 0 评论 501 浏览

Zulu

Zulu 是百度文心快码推出的多模态 AI 编程助手，支持从自然语言需求到代码的端到端生成。具备智能任务拆解、多文件编辑、实时预览、多模态输入及多 IDE 适配等功能，适用于开发者、学习者及各类技术岗位，有效提升开发效率和代码质量。

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