AI
  1. 首页
  2. AI

列表

Kimina

Kimina

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

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。
AI项目与工具 2025年06月12日
COMET

COMET

COMET是字节跳动开发的Mixture-of-Experts（MoE）模型优化系统，通过细粒度计算-通信重叠技术和自适应负载分配机制，显著提升分布式训练效率。它在大规模模型中实现单层1.96倍、端到端1.71倍的加速，具备强鲁棒性与泛化能力，支持多种硬件环境和并行策略，核心代码已开源并可无缝集成至主流训练框架。
AI项目与工具 2025年06月12日
晨羽AI效果图

晨羽AI效果图

晨羽AI效果图是一款专为家装设计师和业主打造的移动端装修设计工具。它集成了智能算法，可根据用户所提供的房屋面积、户型和风格等各种要素。
电商运营 2025年06月05日

Mindshow

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

Scenethesis

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

DeepGEMM

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

LOGOAI

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

Nexa AI

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