AI - 智狐AI导航

疯语咒AI

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

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

AI Math

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

教育学习 2025年06月05日 52 点赞 0 评论 611 浏览

CloneUI

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

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

漫剪猫

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

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

BFS

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

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