工具

1. 首页
2. 工具

BFS

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

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

SkyCode天工智码

Sky-code 是 SingularityAI 研发的一款AI代码生成工具，支持各种主流编程语言，助力开发人员更快更好的编码。

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

XCole

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

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

REGRESSION GAMES

在游戏中与ai竞争,引入第一个全功能的AI、游戏和锦标赛平台。创建自己的ai并参与竞争!

创作工具 2026年08月19日 0 点赞 0 评论 698 浏览

Stable Artisan

Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务，利用Stability AI的AI技术和模型，如Stable Diffusion 3和Stable Video Diffusion，使用户能够通过自然语言提示生成高质量的图像和视频。此外，它还提供了一系列图像编辑工具，包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能，适用于创意人士、设计师、内容创作

AI项目与工具 2024年01月01日 46 点赞 0 评论 698 浏览

Upscayl

Upscayl 是一款效果非常出众的图片放大变清晰图片处理软件，通过使用高级的 AI 模型来升级低分辨率图像，使得模糊的图片即使放大也同样清晰。

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

MagicEraser.Pro

一款免费在线 AI 图片去物体工具，支持无限次免费使用，可删除照片中的人物、文字、水印、背景杂物、瑕疵等元素。

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

Genie 2

Genie 2是一款由DeepMind开发的大规模基础世界模型，其核心功能包括基于单一图片生成可交互3D游戏世界、模拟物体交互及物理效果、支持多类型动作控制、具备长时间记忆能力以及实时生成新场景内容。该工具不仅适用于智能体训练与评估，还广泛应用于游戏开发、模拟与训练、机器人学习以及虚拟现实和增强现实等领域。

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

Patterned AI

PatternedAI 是一种使用人工智能为任何表面生成无缝图案的工具。您可以使用它来设计织物、墙纸、包装等的图案。

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

Face26

一个免费的在线人工智能照片增强应用程序，利用人工智能提高、增强和修复图像和照片的质量。

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