AI

疯语咒AI

疯语咒AI是AI技术和教育的先行者,提供海量免费的AI学习材料。

AI Math

一款在线数学问题求解器,AI Math可以帮助用户克服数学学习中的难题,提高数学能力。它提供免费的入门服务,并支持多种语言,包括英语、中文、法语、德语、印地语等。

CloneUI

一款强大的AI驱动的图片转代码工具,能够将截图、网址或 Figma 设计一键转换为 React、Vue 或 HTML/CSS 代码。

漫剪猫

漫剪猫是一款基于AI的小说转漫画视频工具,可将文本故事智能化地转换为漫画风格的视频内容。它具备智能分镜生成、AI绘制及配音、丰富的素材库、简单的剪辑操作以及高效导出分享功能。这款工具适用于小说视觉化、社交媒体内容创作、教育培训等多个场景,助力用户轻松实现个性化编辑和高质量输出。

BFS

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

MakeLanding

一款AI驱动的网站生成器与Ai建站工具,MakeLanding允许用户在几秒钟内创建登陆页面,无需开发人员或设计师。

Dreamlike.Art

Dreamlike.Art是一个免费的人工智能艺术生成器和创作工具,利用人工智能的力量,用户可以在几秒钟内创建令人惊叹的原创艺术。它提供图像升级、创建变化、修复面部等功能。

Fluig

Fluig 是一款基于 AI 的图表生成工具,可将文字、文档或代码快速转化为多种专业图表,如思维导图、流程图等。支持多模态输入和智能格式转换,操作简便,适合无设计背景的用户使用。提供实时协作功能,适用于教育、商业、研究等多个场景,提升信息可视化与团队协作效率。

SlidesAI

用AI在几秒钟内创建演示幻灯片,帮助你完成所有的PPT设计和制作工作