工具

1. 首页
2. 工具

BFS

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

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

LogoCreatorAI

LogoCreatorAI是一种设计工具，它使用AI为初创公司，设计师和企业生成独特高质量的logo。

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

Inkscape

一款功能强大的免费开源矢量图形编辑软件，适用于各种设计需求，从插图、图标、徽标到复杂的排版和图表设计。

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

简历Bot

一种利用人工智能技术帮助用户制作和优化简历的AI简历生成器。它通过分析用户的个人信息、工作经验、技能等，结合岗位要求，自动生成或优化简历内容。

招聘求职 2025年06月05日 38 点赞 0 评论 267 浏览

Research Rabbit

Research Rabbit是一款基于人工智能技术的科研文献管理工具，主要功能包括文献检索、集合创建、网络关系分析、时间轴展示、智能摘要和阅读、云端存储和管理以及协作和共享。该工具支持多种搜索选项，能够帮助用户发现和理解文献之间的联系，适用于个人和团队研究，涵盖多个学科领域。

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

FaceHub

FaceHub是一款基于AI技术的照片和视频编辑工具，主要功能包括面部交换、AI肖像生成、动画制作及语音克隆等。它能够帮助用户轻松制作个性化内容，适用于社交媒体娱乐、个人创意表达以及专业用途如头像设计和视频配音。其强大的功能和简便的操作使其成为一款多功能的数字内容创作助手。

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

AI Tools Alternatives

当你在浏览 AI 相关网站时，AI Tools Alternatives插件会智能地分析您正在查看的内容，并建议可能更适合您需求的替代 AI 工具。

Ai学习资源 2025年06月05日 38 点赞 0 评论 267 浏览

Arxiv

一款能够一键将arXiv上的论文转换为Markdown格式的浏览器插件，无论该论文呈现的是摘要、PDF版本还是HTML版本。

Ai开源项目 2025年06月05日 100 点赞 0 评论 268 浏览

Claude Computer Use

Claude Computer Use 是 Anthropic 公司推出的 AI 辅助工具，利用自然语言指令驱动 AI 模型执行计算机操作，包括屏幕阅读、文本输入、文件管理、网页浏览及软件操作等功能。该工具支持自动化脚本执行和代码编写调试，广泛适用于软件开发、数据处理、客户服务、教育等领域，具有高度智能化和灵活性的特点。

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

VectorMind AI

一个人工智能驱动的平台，可以快速有效地生成矢量图形。它通过利用最先进的生成式 AI 技术创建高质量、令人难忘的设计。

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