教育

1. 首页
2. 教育

Goedel

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

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

VoxCraft Ai

北京生数科技有限公司开发的一款强大的AI生成3D工具，VoxCraft Ai基于底层通用多模态大模型，具备优越的多模态生成能力。

3D&游戏 2025年06月05日 22 点赞 0 评论 481 浏览

万卷

万卷是一个个人掌上AI助理，它能帮助你处理很多生活中的问题

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

GTA

GTA是一项由上海交通大学与上海AI实验室合作研发的基准测试，专注于评估大型语言模型在真实世界环境中的工具调用能力。它包含229个精心设计的问题，涉及多个领域，并通过多模态输入输出和细粒度评估指标，全面衡量模型的工具使用效率与准确性。GTA可应用于智能助理开发、多模态交互、自动化客户服务、教育及科研等多个领域，助力提升人工智能系统的综合性能。

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

YouTube Dubbing

YouTube Dubbing是一款利用AI技术实现跨语言视频观看的浏览器插件。它通过智能同步配音和字幕翻译功能，帮助用户轻松克服语言障碍，提升视频观看体验。支持多语言、多平台操作，提供多种语音风格和高级功能如倍速播放、背景音保留等，适合语言学习、国际教育、商务会议等多种应用场景。

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

Zona

Zona是一款基于AI技术的音乐生成工具，用户可通过输入创意或选择模板即时生成专业级别的音乐作品。该工具支持移动便携，具备个性化定制、创意激发及多功能编辑能力，广泛适用于个人娱乐、音乐教育、创意激发及社交媒体内容制作等多个领域。

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

稿定设计

国内知名在线设计平台，即使您不擅长使用PS，也能轻松搞定设计工作。它提供海量模板，让您可以快速制作海报、简历、PPT、公众号配图、电商等设计作品。

Ai图片处理 2025年06月05日 28 点赞 0 评论 482 浏览

sendsteps

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

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

moemate

Moemate是一款集成了多语言对话、屏幕感知、语音克隆和自定义图像模型等功能的AI角色平台。它支持用户创建个性化AI伴侣，并兼容多种语言模型和操作系统。Moemate不仅提供娱乐体验，还具备教育辅助、信息查询和工作效率提升等实用功能，适合个人和企业用户。

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

PyVideoTrans

PyVideoTrans是一款开源的视频翻译配音工具，支持多语言处理，利用先进的语音识别和翻译技术，实现视频内容的自动翻译，并添加自然流畅的配音和同步字幕。该工具适用于影视后期、教育、企业宣传及自媒体创作等场景，帮助内容创作者跨越语言障碍，扩大受众群体。

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