教育

1. 首页
2. 教育

TongGeometry

TongGeometry是由北京通用人工智能研究院与北京大学人工智能研究所联合开发的几何模型，采用树搜索和神经符号推理技术，能自动生成高质量的几何竞赛题并完成证明。该工具构建了庞大的几何定理库，涵盖67亿个需辅助构造的定理，具备广泛应用场景，如数学竞赛、教育及研究领域，支持复杂几何问题的探索与教学资源开发。

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

Darwin模型

Darwin模型是一个专门为自然科学领域（尤其是物理、化学和材料科学）设计的大语言模型（LLM），只要通过整合结构化和非结构化的科学知识，提升语言模型在科学研究

Ai平台模型 2025年06月05日 19 点赞 0 评论 353 浏览

Dream Screen

Dream Screen 是一款基于生成式人工智能技术的视频背景生成工具，旨在帮助创作者通过简单文本输入快速生成高质量视频背景。它提供了多种风格选择，支持个性化定制，并显著简化了短视频制作流程，尤其适用于社交媒体、教育、商业广告及影视制作等领域。其核心优势在于无需专业技能即可生成专业级视觉效果，从而提升内容吸引力与观众体验。

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

EMOVA

EMOVA是一款由多所高校与企业联合研发的多模态全能型AI助手，具备处理图像、文本和语音的能力，支持情感化语音对话，并通过轻量级情感控制模块增强了人机交互的自然性。其核心技术包括连续视觉编码器、语义-声学分离的语音分词器及全模态对齐机制，广泛应用于客户服务、教育辅助、智能家居控制等多个领域。

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

MathGPT

MathGPT，是国内首个专为数学打造的大模型。仅需要通过文字或图片上传数学题，即可得到对话式的解答反馈。另外，你也可以通过「随机来一题」的选项，随机生成数学题目并由系统给出解答。

Ai平台模型 2025年06月05日 81 点赞 0 评论 354 浏览

wonderchat

WonderChat是一个无需编程技能即可快速创建自定义AI聊天机器人的平台。它支持上传网站链接或PDF文件来训练机器人，具备智能转接、多语言支持、帮助台集成等功能，适用于客户服务、销售、教育培训等多个领域，同时提供日常报告和潜在客户数据分析，助力企业提升运营效率。

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

Sekai

Sekai是一款结合AI技术的交互式内容平台，允许用户创建和自定义虚拟角色，并通过AI生成完整的故事情节。平台支持互动式叙事、沉浸式体验以及故事编辑与分享功能，适用于个人娱乐、社交互动、教育学习及品牌营销等多种场景。

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

全智能AI一键生成PPT

AiPPT是一款创新的AI辅助PPT制作工具，通过智能化的一键生成和模板更换功能，极大地提升了用户制作PPT的效率和质量。

PPT资源 1970年01月01日 0 点赞 0 评论 355 浏览

万彩脑图大师

万彩脑图大师是一款可自由缩放的免费 3D 思维导图制作软件。

思维导图 2025年06月05日 69 点赞 0 评论 356 浏览

Video Ocean V2.0

Video Ocean V2.0是一款由潞晨科技推出的AI视频生成平台，支持文生视频、图生视频和角色生视频等多种创作方式。平台具备高画质、多风格切换及视频续写、重试等编辑功能，适用于个人创作、自媒体、教育及影视前期构思等多个场景，提升视频制作效率与创意表达能力。

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