AI - 智狐AI导航

Goedel

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

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

Fourier N1

Fourier N1是一款由傅利叶推出的开源人形机器人，具备23个自由度，可完成复杂动作如单足站立、坡道通行和楼梯攀爬。搭载自研控制系统和FSA 2.0执行器，支持高速稳定运行。支持多模态交互，适用于教学、康复辅助、物流搬运、家务服务及灾难救援等领域，提供全面的开源资源以支持开发与研究。

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

PDFlux

一款用于将PDF文档转化为可编辑格式（如Word、Excel、PowerPoint）的在线工具。它可以将PDF文件中的文本、表格、图片等元素转换为电子表格或文档，从而使用户可以轻松地进行编辑和...

排版编辑 1970年01月01日 0 点赞 0 评论 602 浏览

吐司AI换脸

吐司AI换脸是一款基于ComfyUI Workflow的图像处理工具，支持高质量人像换脸。用户只需上传目标图像和参考人脸图像，即可快速生成自然逼真的换脸效果。该工具提供精细化遮罩处理、面部修复、风格统一等功能，并兼容多种模型和版本。适用于影视、广告、艺术创作、社交媒体及游戏开发等多个领域，操作简便，效果出色。

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

知作zizo

知作zizo，借助最新AI技术，针对影视频行业创作的全流程，全面数字化、智能化，实现效率倍增。

AI服务商 2025年06月05日 83 点赞 0 评论 602 浏览

VectorVein

VectorVein 是一款开源的无代码AI工作流工具，通过简化拖拽操作，使用户无需编程知识即可构建智能工作流，实现日常任务的自动化。它支持数据处理、分析和知识管理等多种应用场景，具备无代码、AI驱动和可定制化等特点。VectorVein 旨在降低AI应用的门槛，提升个人和团队的工作效率，并提供本地部署和开源选项，以满足不同用户的数据安全和隐私需求。

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