工具

1. 首页
2. 工具

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 726 浏览

Cube 3D

Cube 3D 是 Roblox 推出的 AI 驱动 3D 生成工具，可通过文本描述快速创建高质量 3D 模型和场景。其核心功能包括文本到 3D 模型生成、网格优化、场景布局预测以及开源扩展能力。基于深度学习与原生 3D 数据训练，Cube 3D 提升了 3D 内容创作效率，适用于游戏开发、虚拟环境设计、教育及个性化创作等多种场景。

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

FLORA AI

一款为创意专业人士打造的集成多模型、支持实时协作的 AI 画布工具。提供无限画布、多模型集成、节点式系统和实时协作等功能，快速生成创意草图、文案、图像。

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

CodeCV

CodeCV是一款面向互联网从业者的在线简历制作工具，支持Markdown和所见即所得编辑模式。它提供多种免费模板，并具备AI辅助功能，如简历润色和中英互译。用户可自由选择模板并专注内容创作，系统自动完成排版和分页，支持多格式导出，广泛应用于个人求职、职业发展、学生实习、自由职业和跨区域求职等场景。

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

LivePPT

LivePPT是一款依托AI技术的高效PPT制作工具，能够快速生成包含专业排版与配色的演示文稿。支持用户通过输入关键词或粘贴文本的方式创建内容，并提供丰富的自定义选项，如模板风格调整、页数设定及后续美化处理。该工具广泛应用于职场、教育及生活领域，极大提升了文档制作效率。

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

Raphael

Raphael 是一款基于 Flux.1-Dev 模型的 AI 图像生成工具，无需注册即可使用。支持多种艺术风格，提供高质量图像生成，具备快速处理能力和严格的隐私保护机制。适用于艺术创作、内容设计、营销、游戏开发等多个领域，适合个人及商业用途。

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

TransPixar

TransPixar是由多所高校及研究机构联合开发的开源文本到视频生成工具，基于扩散变换器（DiT）架构，支持生成包含透明度信息的RGBA视频。该技术通过alpha通道生成、LoRA微调和注意力机制优化，实现高质量、多样化的视频内容生成。适用于影视特效、广告制作、教育演示及虚拟现实等多个领域，为视觉内容创作提供高效解决方案。

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

Spatial

Spatial-RAG是一种用于增强大型语言模型空间推理能力的框架，融合了稀疏空间检索与密集语义检索技术。它通过多目标优化策略平衡空间约束与语义相关性，生成准确、连贯的自然语言回答。该工具可应用于旅游推荐、智能导航、城市规划、地理问答和物流配送等多个领域，提升了空间数据处理的智能化水平。

AI项目与工具 2025年06月11日 34 点赞 0 评论 728 浏览

Poster Studio

Poster Studio是一款专为社交媒体广告设计的人工智能工具，支持用户通过简单操作生成高质量广告创意。它具备多语言支持、多平台适配以及高ROI优化等特点，同时提供灵活的编辑功能和丰富的模板资源，广泛应用于品牌推广、产品发布、电商促销等领域。

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

海螺视频APP

海螺视频APP是一款基于AI技术的视频生成工具，支持文生视频和图生视频功能，提供丰富的镜头控制选项，让用户能像专业导演一样创作动态视频。该工具适用于多种场景，如社交媒体、广告营销、影视制作等，操作简便，适合各类用户使用。

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