工具

1. 首页
2. 工具

SOM AI

SOM AI 是一款 AI 辅助学术写作工具，帮助学生完成毕业论文和学术研究。它提供研究主题头脑风暴、段落释义、简化复杂内容等功能，帮助学生避免抄袭并快速理解学术内容。SOM AI 还能提供情感支持，缓解写作压力，适用于毕业论文和日常学术作业，是高效的学习助手。

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

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

Logo123设计平台

提供经济实惠的AI设计LOGO服务

Ai绘画生成 1970年01月01日 0 点赞 0 评论 478 浏览

VideoToWords AI

一款免费在线将视频和音频转录为文本的工具，轻松在浏览器中将视频转换为文本，添加字幕等。还提供在线编辑、多种格式导出功能。

Ai语音工具 2025年06月05日 25 点赞 0 评论 478 浏览

Visily AI

Visily AI，面向非设计师的革命性 AI 驱动的线框工具。

Ai图片处理 2025年06月05日 81 点赞 0 评论 478 浏览

XCole

XCole是一款集成了AI绘图、文本生成、翻译与代码辅助的多功能AI创作平台。它支持从图像生成到文本创作的多样化需求，并提供专业场景模板以满足不同领域的创作需求。XCole凭借其友好的用户界面和强大的功能，帮助用户提升工作效率，广泛应用于学术研究、内容创作、设计开发等多个场景。

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

Quick creator

Quick creator，给关键词和一些内容要求后，AI落地页生成工具。

Ai编程建站 2025年06月05日 37 点赞 0 评论 478 浏览

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。

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

ChangeFace.AI

一种AI换脸工具，它允许用户上传一张高分辨率的单人照片，然后将自己的脸和一些有趣的图像进行交换，比如名人、动漫、艺术、卡通等。

Ai图片处理 2025年06月05日 92 点赞 0 评论 478 浏览

MiniMax

MiniMax-01是由MiniMax推出的高性能AI模型系列，包含语言模型MiniMax-Text-01和视觉多模态模型MiniMax-VL-01。该系列采用线性注意力机制，支持处理长达400万token的上下文，性能接近国际领先模型。具备强大的语言理解、多模态处理及长文本分析能力，适用于企业、教育、科研及开发等多个领域。API定价合理，提供高效的长文本处理与多模态交互解决方案。

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