AI

1. 首页
2. AI

BFS

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

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

ChatX.Ai

一个为生成式AI提供免费提示词市场的网站。您可以使用这些提示来探索 ChatGPT、DALL·E、 稳定扩散。这些模型可以根据您的输入生成文本或图像，并帮助您完成各种创意任务，例如写作、设计、讲故事等。

Ai提示指令 2025年06月05日 16 点赞 0 评论 788 浏览

Theme AI

一款由GPT4驱动的人工智能网页设计主题生成工具，使用 ThemeAI 释放您的创造力并轻松重新定义网页设计！利用人工智能的力量为您的网站制作和策划有意义的网页模板主题。

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

Emergent Drums

使用Emergent Drums人工智能生成独特的鼓样本，使用Audialab插件生成无限的鼓样本，全部免版税。

创作工具 2026年11月12日 0 点赞 0 评论 788 浏览

千绘AI

一款AI漫画创作平台，用户可以通过千绘AI生成分镜，并将其转化为图片。千绘AI支持角色引用，确保角色在不同分镜中保持一致。

Ai绘画生成 2025年06月05日 85 点赞 0 评论 788 浏览

Liquid

Liquid是由华中科技大学、字节跳动和香港大学联合开发的多模态生成框架，通过VQGAN将图像编码为离散视觉token并与文本共享词汇空间，使大型语言模型无需修改结构即可处理视觉任务。该框架降低训练成本，提升视觉生成与理解性能，并在多模态任务中表现出色。支持图像生成、视觉问答、多模态融合等应用，适用于创意设计、内容创作及智能交互等领域。

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

Convai Technologies Inc.

Convai Technologies Inc.为...

创作工具 2026年11月12日 0 点赞 0 评论 788 浏览

Akkio

Akkio是一个无代码机器学习平...

Ai编程建站 2026年11月12日 0 点赞 0 评论 788 浏览

千禾智能AI视频换脸

实现超逼真的视频换脸，高精度的视频抠像，流畅自然的视频插帧，快速高效的视频人脸修复，以及清晰锐利的视频无损放大

Ai视频生成 2026年11月12日 0 点赞 0 评论 788 浏览

AI出款

AI服装设计开款改款工具

创作工具 2026年11月12日 0 点赞 0 评论 788 浏览