AI

1. 首页
2. AI

Goedel

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

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

AI TransPDF

高效准确地将PDF文档翻译成多种语言的AI智能PDF文档翻译工具

Ai语音工具 1970年01月01日 0 点赞 0 评论 524 浏览

Browser

一个开源的Python库，它把AI技术和浏览器自动化功能结合起来，能让AI代理像真人用户一样在网页上浏览、操作、提取信息。

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

I2V

I2V-01-Live是一款基于深度学习技术的图生视频工具，可将静态二维图像转化为动态视频，具有高度流畅的动作表现和多样化的艺术风格适配能力。其核心功能包括动态呈现、动作效果增强及稳定的表情管理，广泛应用于社交媒体、广告营销、动画制作、教育培训以及游戏开发等领域。

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

Artroom AI

一个允许用户在AI的帮助下创作艺术的平台。它使用一种称为**稳定扩散**的技术，可以从文本描述中生成逼真且多样化的图像.

Ai绘画生成 2025年06月05日 61 点赞 0 评论 524 浏览

Wegic.ai

一款面向未来的 AI网页设计师，通过简单的聊天等多模态交互来完成网站的设计、修改和上线全流程。

Ai编程建站 2025年06月05日 24 点赞 0 评论 524 浏览

Playground v3

Playground v3是一款基于大型语言模型（LLM）的文本到图像生成工具，具备240亿参数量的潜扩散架构（LDM），能够精准理解和生成复杂的图像内容，支持RGB颜色控制和多语言文本生成。其核心功能包括文本到图像生成、图形设计、RGB颜色控制和多语言支持，广泛应用于设计、内容创作、游戏开发、广告等多个领域。

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

Edicho

Edicho 是一种基于扩散模型的图像编辑工具，能够在多图像间实现一致性编辑，无需额外训练。其核心技术包括 Corr-Attention 注意力模块和 Corr-CFG 去噪策略，通过显式图像对应关系提升编辑质量与一致性。适用于图像修复、风格转换、内容创作、医学影像增强等场景，具备良好的兼容性与扩展性。

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

DUIX

硅基智能打造的AI数字人智能交互平台。通过将数字人交互能力开源，开发者可自行接入多方大模型、语音识别（ASR）、语音合成（TTS）能力，实现数字人实时交互。

Ai开源项目 2025年06月05日 84 点赞 0 评论 524 浏览

Codestral

Codestral是由Mistral AI开发的一款代码生成AI模型，支持超过80种编程语言，具备强大的代码补全、生成、测试和文档生成等功能。该模型拥有220亿参数和32k的上下文窗口，性能优越，适用于软件开发中的多种场景，包括代码编写、测试、重构和文档生成等。支持MNPL许可，主要用于非商业用途的研究和测试。

AI项目与工具 2024年05月31日 18 点赞 0 评论 524 浏览