工具

1. 首页
2. 工具

Kimina

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

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

Quadratic

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

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

COMET

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

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

Mindshow

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

Ai办公效率 2025年06月05日 39 点赞 0 评论 1089 浏览

DeepGEMM

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

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

叮当好记

一款AI音视频转录与总结工具，叮当好记的功能是可以把两小时的YouTube或B站讲座视频浓缩成一个五分钟内就能看完的图文内容。

格式转换 2025年06月05日 21 点赞 0 评论 1088 浏览

aftershoot

Aftershoot 是一款基于 AI 的摄影辅助工具，支持快速筛选和自动编辑照片，适用于婚礼、活动、人像等多种摄影场景。它能识别重复、模糊或闭眼照片，并提供风格化编辑功能。用户可自定义 AI 编辑偏好，支持 RAW 和 JPEG 格式，兼容主流后期软件，提高工作效率。

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

Removal.AI

一款抠图去除图像背景多功能工具，Removal.AI 提供了一个自动化流程，可以快速、准确地从图像中去除背景，使用户几乎可以立即获得透明的背景图像。

图片处理 2025年06月05日 29 点赞 0 评论 1087 浏览

墨问便签

墨问便签是一款专为创作者设计的AI便签工具，提供长达10分钟的语音录制和实时转录功能。用户可以即时查看并编辑语音转录的文字内容，享受AI自动润色服务，包括分段、纠正错别字及删除重复词等。该工具还具备笔记私密或公开选项，方便用户记录灵感，激发创作思维，其轻量级设计使用户能够随时随地捕捉灵感，成为创作者的理想助手。

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

LOGOAI

创建匹配的文具，设计您喜欢的品牌!

Ai绘画生成 2026年11月10日 0 点赞 0 评论 1087 浏览