AI

1. 首页
2. AI

BFS

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

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

AdCreative.ai

AdCreative.ai是一款基于人工智能技术的广告创意生成工具，能够自动生产高质量的广告文案、图片、视频等内容，支持多平台投放，包括Facebook、Google、LinkedIn等。其主要功能涵盖广告创意生成、品牌资料管理、竞争对手广告分析及批量素材制作，旨在帮助企业优化广告策略并提升广告表现。

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

Tolan

Tolan是一款AI驱动的陪伴应用，提供个性化对话、星球互动、照片反馈及语音交流等功能，帮助用户在日常生活中获得情感支持与互动体验。其应用场景涵盖社交娱乐、创意写作、语言学习等，适用于寻求情感陪伴或趣味互动的用户。支持多平台使用，提供灵活的订阅方案。

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

讯飞同传

无论是教育、体育还是商务领域，讯飞同传都能帮助用户跨越语言障碍，实现无障碍沟通。同时，它还注重用户的信息安全，提供了高标准的信息安全保障。

创作工具 1970年01月01日 0 点赞 0 评论 532 浏览

气泡岛AI

一个充满无限可能的AI互动世界。在这里，您将体验到前所未有的智能对话伙伴，他们不仅能够与您进行深入的交流，还能在您的生活、工作和娱乐中扮演重要角色。

AI写作对话 2025年06月05日 91 点赞 0 评论 532 浏览

OpenHands

OpenHands是一款支持多智能体协作的AI编程工具，具备代码生成、命令行操作、网页浏览等功能。它提供安全的沙箱环境、代理技能库和多代理协作机制，适用于软件开发、信息采集、辅助决策和科研支持等场景。该工具涵盖多个领域的基准测试，助力学术与工业应用。

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

HitPaw Univd

HitPaw Univd 是一款基于人工智能的多功能视频转换工具，支持超过1000种格式转换，具备无损音视频处理、AI画质修复、视频下载和内置编辑功能。适用于音乐转换、教学视频制作、视频压缩与格式适配等多种场景，兼具高效性与专业性。

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

Tryitonai

一个在线平台，利用人工智能技术创造出令人惊叹的专业头像和肖像照片。可以生成高质量的AI头像，用于领英个人资料、演艺作品集和交友资料照片等多种用途。

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

NineF AI

一站式免费主流AI大模型集成平台，集成了GPT、Claude、Llama等全球顶尖AI模型，提供多角度智能解答，助您提升工作效率和决策准确性。满足各类创作和研究需求。

Ai平台模型 2025年06月05日 96 点赞 0 评论 532 浏览

林间聊愈师

林间聊愈室是一款由广州心纪源信息科技有限公司开发的情绪管理和心理支持应用程序。它提供一个24小时在线的AI心灵伙伴，帮助用户在低落、迷茫或烦恼时倾诉情绪，重新振作。应用通...

创作工具 1970年01月01日 0 点赞 0 评论 532 浏览