AI工具
Kimina-Prover
Kimina-Prover是月之暗面与Numina团队合作推出的大型数学定理证明模型,模型采用大规模强化学习训练,能以类似人类的方式进行推理,在Lean 4语言中严谨地证明...
WaveSpeedAI
WaveSpeedAI 是 AI 图像和视频生成平台,提供多种高性能的 AI 模型,核心模型包括 HiDream-I1(170 亿参数的开源图像生成模型)、Flux-dev(120 亿参数的快速...
Grok Studio
Grok Studio 是马斯克旗下AI智能助手Grok推出的 AI 协作功能,帮助用户提升内容创作与开发效率。Grok Studio支持代码生成与实时运行(涵盖 Python、C++、Java...
GLM-Z1-32B
GLM-Z1-32B是智谱公司开源的新一代推理模型,具体参数版本为GLM-Z1-32B-0414 。GLM-Z1-32B基于 GLM-4-32B-0414 基座模型开发,基于深度优化训练,在数学、代...
Imagine Explainers
Imagine Explainers 是 StudyFetch 推出的 AI 视频生成工具,帮助用户快速创建高质量的解释视频。用户只需输入主题和视频长度,选择模板和角色,可生成 10 到...
Seaweed-7B
Seaweed-7B 是字节跳动团队推出的视频生成模型,拥有约 70 亿参数。Seaweed-7B具备强大的视频生成能力。模型支持从文本描述、图像或音频生成高质量的视频内容...