AI

1. 首页
2. AI

象寄AI

专注商业视觉内容的智能生成，一键生成高质量商品图， 为商家提供全新的图像生产方式

Ai绘画生成 2026年11月09日 0 点赞 0 评论 1095 浏览

Goedel

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

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

MiMic

Mimic就像一个会画画的AI朋友，你只需要给它看看你的画，它就能学会你的画风，然后帮你画出更多的画。

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

Sketch2Sound

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

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

一环AI

一环AI，擅长电商运营的人工智能创作平台,基于九年的电商服务经验，为电商应运而生的AI应用平台。

电商运营 2025年06月05日 95 点赞 0 评论 1096 浏览

FillDream

一款基于人工智能的图像修改工具，允许用户通过输入提示来填充和修改图像。

Ai图片处理 2025年06月05日 77 点赞 0 评论 1096 浏览

Magic 1

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

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

Fineshare VoiceTrans

Fineshare VoiceTrans 是一款支持实时变声的 AI 工具，可将声音转换为多种角色或性别，保留原有情感与语调。提供丰富的音效库、声音实验室和预设声音包，适用于游戏、直播、配音等场景。用户可通过不同订阅计划获得无限使用权限和定制服务，提升创作与互动体验。

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

Grammarly抄袭检测器

检测出你文本中的抄袭行为，并检查其他写作问题。

AI写作对话 2026年11月09日 0 点赞 0 评论 1097 浏览

知闻AI

一个基于AI的新闻聚合平台，只要为用户提供经过筛选和整理的高质量新闻内容，知闻AI通过分析大量新闻源，过滤掉低质量或不可信的信息，确保用户获取到的是准确、及时的新闻。

媒体资讯 2025年06月05日 67 点赞 0 评论 1097 浏览