AI工具

CineMaster – 快手推出的文本到视频生成框架，具备3D感知能力

CineMaster是什么 CineMaster是快手推出的具备3D感知能力的文...

1 年前 0 0 50

Goedel-Prover – 自动化数学问题的形式证明生成开源推理模型

Goedel-Prover是什么 Goedel-Prover（哥德尔证明器）是普...

1 年前 0 0 41

DeepSeek 官方提示词库 – DeepSeek 推出的预设提示词示例库

DeepSeek 官方提示词库是什么 DeepSeek 官方提示词库是为用户提供...

1 年前 0 0 125

Praison AI – 开源AI多智能体框架，低代码创建和管理AI代理

Praison AI是什么 Praison AI 是生产级的多智能体框架，基于低...

1 年前 0 0 57

Magic 1-For-1 – 北大、英伟达等推出的高效视频生成模型

Magic 1-For-1是什么 Magic 1-For-1是北京大学、Hedr...

1 年前 0 0 54

DeepSeek服务器繁忙怎么解决？16个免费R1满血版平替

随着DeepSeek的爆火，用户数量的激增，DeepSeek服务器频繁出现“繁忙...

1 年前 0 0 45

Readdy.ai – AI产品设计工具，几分钟生成Figma级设计稿和即用前端代码

Readdy.ai是什么 Readdy.ai 是基于AI技术的产品设计工具，能将...

1 年前 0 0 55

Data Formulator – 微软研究院开源的 AI 数据可视化工具

Data Formulator是什么 Data Formulator是微软研究院...

1 年前 0 0 43