教育

1. 首页
2. 教育

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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

sendsteps

SendSteps是一款结合人工智能技术的演示文稿制作工具，支持通过AI辅助生成、自定义编辑或文件导入等方式快速创建高质量演示文稿。其特色功能涵盖智能排版、多语言支持、互动元素设计及云端协作，广泛应用于商务、教育、企业培训及市场推广等领域，致力于优化用户的内容呈现体验。

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

Caveduck

一个AI角色扮演聊天服务，支持中、英、日韩等多语言，提供多种LLM选择，RWD支援良好，任何设备开启网页即用，无需App。

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

Talefy Ai

AI互动故事生成器，Talefy Ai能够帮助用户轻松创作各种类型的互动故事，将脑海中的故事具象化，并提供沉浸式的故事体验。

生活创意 2025年06月05日 89 点赞 0 评论 521 浏览

I2V

I2V-01-Live是一款基于深度学习技术的图生视频工具，可将静态二维图像转化为动态视频，具有高度流畅的动作表现和多样化的艺术风格适配能力。其核心功能包括动态呈现、动作效果增强及稳定的表情管理，广泛应用于社交媒体、广告营销、动画制作、教育培训以及游戏开发等领域。

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

Bith AI

Bith AI 是一款AI驱动的视频创作与编辑工具，支持文本转视频、自动字幕生成、多平台尺寸适配、多媒体融合及一键发布等功能。适用于社交媒体、企业营销、教育培训和个人创作等多种场景，提升视频制作效率与专业度。

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

Butterflies AI

Butterflies AI是一款支持用户定制个性化AI角色的社交平台。AI角色能够自主发布动态并与用户及其他AI角色互动。该平台允许用户通过定制外观、背景故事和性格来创造独特的虚拟形象，并通过深度社交互动、内容生成和情感交流提供丰富的用户体验。未来，该平台计划探索更多商业模式，并在游戏等领域提供更多元化的社交体验。

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

SCENEXTRAS

SCENEXTRAS是一款基于人工智能技术的Chrome扩展程序，允许用户与电影和电视剧中的角色进行实时互动，包括文字和语音交流。它支持多语言环境，并能根据用户喜好推荐相关影视作品。此外，SCENEXTRAS还具备教育辅助功能，可帮助用户在娱乐过程中学习新语言或深化对故事情节的理解。

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

Learn Prompting

Learn Prompting 是一个开源平台，致力于教授 AI 提示工程相关知识，涵盖从基础到高级的内容。其主要功能包括智能推荐、深度解析、模拟对话、学习进度跟踪等，同时提供体系化课程及实际应用场景案例。该工具适用于教育、语言学习、内容创作、数据分析等多个领域，助力用户提升 AI 技术的应用能力。

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

交小智

交小智是西安交通大学推出的AI应用平台，支持用户零代码创建智能体，适用于教学、科研和校园生活等多种场景。平台集成多种大模型，具备知识库管理、插件扩展、API接口等功能，可定制问答机器人、科研助手、校园服务工具等。用户可发布智能体并与其他系统集成，提升工作效率与服务体验。

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