AI工具
Praison AI – 开源AI多智能体框架，低代码创建和管理AI代理
PraisonAI是什么PraisonAI是生产级的多智能体框架，基于低代码解决方案创建和管理AI代理[…]
Magic 1-For-1 – 北大、英伟达等推出的高效视频生成模型
Magic1-For-1是什么Magic1-For-1是北京大学、HedraInc.和Nvidia[…]
GAS – 卡内基梅隆联合上海 AI Lab 等推出的单图生成3D人体框架
GAS是什么GAS（GenerativeAvatarSynthesisfromaSingleIm[…]
CineMaster – 快手推出的文本到视频生成框架，具备3D感知能力
CineMaster是什么CineMaster是快手推出的具备3D感知能力的文本到视频生成框架。类似于视频版[…]
Goedel-Prover – 自动化数学问题的形式证明生成开源推理模型
Goedel-Prover是什么Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学[…]
DeepSeek 官方提示词库 – DeepSeek 推出的预设提示词示例库
DeepSeek官方提示词库是什么DeepSeek官方提示词库是为用户提供的高效AI交互工具，涵盖了[…]
星声AI – AI播客生成工具，支持输入文字、URL等自动生成播客内容
星声AI是什么星声AI是专注于AI播客生成的智能化工具，为用户提供播客内容的生成、编辑和发布服务。用户可以通[…]
OpenThinker-32B – 斯坦福、UC 伯克利等机构联合开源的推理模型
OpenThinker-32B是什么OpenThinker-32B是斯坦福、UC伯克利、华盛顿大学等机构[…]
Social Media Agent – AI社交媒体内容管理工具，输入URL自动生成帖子
SocialMediaAgent是什么SocialMediaAgent是智能的社交媒体内容管理工具，[…]
问小白上线DeepSeek-R1满血版，实测为官网最佳平替！
最近用DeepSeek的时候，还没提几个需求呢，就开始“服务器繁忙，请稍后再试”，真是让人着急上火！网上有很[…]
