AI
  1. 首页
  2. AI

列表

ART

ART

ART（Anonymous Region Transformer）是一种新型多层透明图像生成技术，支持基于全局文本提示和匿名区域布局生成多个独立透明图层（RGBA格式）。通过逐层区域裁剪机制，显著提升生成效率，速度快于传统方法12倍以上。具备高质量自编码器，支持50层以上的图像生成，减少图层冲突。广泛应用于艺术设计、内容创作、广告营销及科研等领域。
AI项目与工具 2025年06月12日
Goedel

Goedel

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

MiMic

Mimic就像一个会画画的AI朋友，你只需要给它看看你的画，它就能学会你的画风，然后帮你画出更多的画。
Ai绘画生成 2025年06月05日
象寄AI

象寄AI

专注商业视觉内容的智能生成，一键生成高质量商品图， 为商家提供全新的图像生产方式
Ai绘画生成 2026年11月07日
知作zizo

知作zizo

知作zizo，借助最新AI技术，针对影视频行业创作的全流程，全面数字化、智能化，实现效率倍增。
AI服务商 2025年06月05日
OCode

OCode

OCode 是终端原生 AI 编程助手，为开发者提供深度代码库智能和自动任务执行功能。它与本地 Ollama 模型无缝集成，支持多文件重构、项目理解、开发自动化、数据处理、系统操作、交互式操作、文件操作、文本处理和开发工具等功能。OCode 通过终端原生工作流、深度代码库智能、自动任务执行、直接 Ollama 集成和可扩展插件层提升编程效率和质量，适用于前端开发、设计与开发协作、无代码开发、数据管
AI项目与工具 2025年06月11日
FillDream

FillDream

一款基于人工智能的图像修改工具，允许用户通过输入提示来填充和修改图像。
Ai图片处理 2025年06月05日
Sketch2Sound

Sketch2Sound

Sketch2Sound是一种由Adobe研究院与西北大学联合开发的AI音频生成技术，通过提取响度、亮度和音高概率等控制信号，结合文本提示生成高质量音效。其轻量化设计使得模型易于适配多种文本到音频框架，同时赋予声音设计师更强的表达力与可控性，广泛适用于电影、游戏、音乐制作及教育等多个领域。
AI项目与工具 2025年06月12日
Magic 1

Magic 1

Magic 1-For-1是由北京大学、Hedra Inc. 和 Nvidia 联合开发的高效视频生成模型，通过任务分解和扩散步骤蒸馏技术实现快速、高质量的视频生成。支持文本到图像和图像到视频两种模式，结合多模态输入提升语义一致性。采用模型量化技术降低资源消耗，适配消费级硬件。广泛应用于内容创作、影视制作、教育、VR/AR及广告等领域。
AI项目与工具 2025年06月12日