AI

1. 首页
2. AI

Play.HT

PlayHT是一款使用先进技术将文本转换为逼真、人类声音的AI语音生成器平台。PlayHT提供600多种在142种语言和口音中可用的AI语音，为创建引人入胜和专业声音内容提供了广泛的功能和用途。

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

Coachify.ai

Coachify.ai 是一个提供个性化健身计划的应用程序，旨在帮助用户在健身房中获得更好的锻炼效果。

Ai科技公司 1970年01月01日 0 点赞 0 评论 485 浏览

Aitoolhunt ai工具

Aitoolhunt,发现最新的人工智能工具、服务、资源，来帮助你完成工作

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

BFS

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

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

OmniParser

OmniParser是一款由微软研究院开发的屏幕解析工具，能够将UI截图转换为结构化数据，通过识别可交互图标和提取功能语义，提升基于大型语言模型的UI代理系统的性能。它支持跨平台应用，无需依赖额外信息，适用于自动化软件测试、虚拟助手、辅助技术等多个领域。

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

Logo123设计平台

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

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

StableDiffusion入门+进阶+高阶(模型训练)

入门课程：Stable Diffusion...

媒体资讯 1970年01月01日 0 点赞 0 评论 485 浏览

腾讯混元大模型 api

腾讯混元大模型 api

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

Quillbot Paraphraser

通过转述、总结和故事生成加快写作速度

AI写作对话 1970年01月01日 0 点赞 0 评论 485 浏览

Lamucal

Lamucal是一款由人工智能驱动的音乐创作工具，主要功能包括实时生成歌曲的和弦、吉他谱、歌词及旋律，支持AI翻唱、人声移除和音轨分离等操作。它不仅适用于个人音乐学习和音乐教育，还能满足音乐制作人和内容创作者的需求，广泛覆盖音乐创作、教学及娱乐场景。

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