AI
  1. 首页
  2. AI

列表

Kimina

Kimina

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

Scenethesis

Scenethesis是NVIDIA推出的AI框架，可通过文本生成高质量的3D场景。它结合LLM与视觉技术，经过布局规划、视觉细化、物理优化和场景验证四个阶段，确保生成结果具备物理合理性和空间连贯性。支持用户交互与多样化场景构建，广泛应用于VR/AR、游戏开发、具身智能及虚拟内容创作等领域。
AI项目与工具 2025年06月11日
Animate Anyone 2

Animate Anyone 2

Animate Anyone 2 是由阿里巴巴通义实验室开发的高保真角色动画生成技术，能基于输入图像和运动信号生成高质量、自然流畅的角色动画。通过环境感知、形状无关掩码策略、物体交互增强等技术，实现角色与环境的深度融合，提升动画的真实感与稳定性。支持复杂动作处理、多角色互动及跨身份动画生成，适用于影视、广告、VR/AR、游戏及教育等多个领域。
AI项目与工具 2025年06月12日
LOGOAI

LOGOAI

创建匹配的文具，设计您喜欢的品牌!
Ai绘画生成 2026年11月11日
Nexa AI

Nexa AI

Nexa AI致力于生成高质量的AI生成产品图像。它可以根据用户上传的产品图片，自动去除背景并生成符合不同行业的适用模板。
电商运营 2025年06月05日
AI co

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统，旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建，具备生成假设、优化方案、文献整合等功能，通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展，展现加速科学发现的潜力。
AI项目与工具 2025年06月12日
悦灵犀AI

悦灵犀AI

悦灵犀AI是一款基于先进AI技术的创作平台，支持文生图、文生视频、背景替换、证件照生成及照片修复等多种功能。其智能助手和丰富工具使用户能够高效创作艺术作品，并广泛应用于艺术设计、广告营销、教育等领域。
AI项目与工具 2025年06月12日

Mindshow

Mindshow
Mindshow
Mindshow
MindShow是一款智能的在线PPT生成工具，通过强大的AI人工智能技术，根据用户输入的大纲文字自动为其生成漂亮的PPT页面。它旨在帮助用户节省设计和排版的时间和精力，让用户专注于内容创作。
Ai办公效率 2025年06月05日
DeepGEMM

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。
AI项目与工具 2025年06月12日