教育
  1. 首页
  2. 教育

列表

NotebookMLX

NotebookMLX

NotebookMLX 是一款基于 MLX 技术开发的开源工具，支持将 PDF 文档转换为音频播客。它通过 PDF 预处理、播客脚本生成、文本优化以及文本转语音等功能，实现了从 PDF 文件到高质量音频内容的全流程自动化处理，适用于教育、播客创作、有声书制作等多个领域，显著提升了信息传播效率和用户体验。
AI项目与工具 2025年06月12日
Goedel

Goedel

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

TikTok Voice

TikTok Voice 是一款基于人工智能的文字转语音工具，提供多种声音选项，支持多种语言和口音。它能将文本转换成清晰自然的语音，适用于视频编辑、文本朗读、有声电子书制作等多个场景。该工具界面简洁，操作便捷，且完全免费，适合全球用户使用。
AI项目与工具 2025年06月12日
sendsteps

sendsteps

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

Magentic

Magentic-One 是一款由微软开发的通用多智能体系统，通过 Orchestrator 智能体协调 WebSurfer、FileSurfer、Coder 和 ComputerTerminal 等专业智能体，实现复杂任务的跨领域处理。其核心功能包括任务协调与执行、网络信息采集、文件管理、代码编写与执行，以及自适应项目管理。该系统支持模块化设计、模型无关性，并具备强大的自适应特性，广泛应用于企业
AI项目与工具 2025年06月12日
gling

gling

Gling是一款集成了先进AI技术的视频编辑工具，主要功能涵盖自动去除不良拍摄片段、消除沉默及填充词、生成AI字幕、自动缩放画面、降低背景噪音等。它还能够为视频生成优化标题与章节，适用于个人视频博主、播客制作人、在线教育者及企业培训等多个领域，助力提升视频质量和效率。
AI项目与工具 2025年06月12日
OpenAI o4

OpenAI o4

OpenAI o4-mini 是一款高性能、低成本的小型推理模型，专为快速处理数学、编程和视觉任务优化。它具备多模态能力，可结合图像与文本进行推理，并支持工具调用以提高准确性。在多项基准测试中表现优异，尤其在数学和编程领域接近完整版模型。适用于教育、数据分析、软件开发及内容创作等多个场景，是高效率与性价比兼备的AI工具。
AI项目与工具 2025年06月11日
OceanDoc

OceanDoc

OceanDoc是科大讯飞推出的AI智能办公工具，基于大语言模型和自然语言处理技术，可自动将文本转化为高质量PPT幻灯片，并提供设计建议、多语言翻译、语音控制、AI图像生成等功能。适用于办公、教育、企业等多种场景，简化演示文稿制作流程，提升效率与专业性。
AI项目与工具 2025年06月11日
Animode

Animode

Animode是一款利用3D技术和人工智能实现视频动漫化的创作工具，支持从图片或视频素材生成高质量的二次元风格内容。其核心功能包括动作捕捉、场景多样化选择、实时渲染优化及后期编辑支持，广泛应用于专业视频制作、自媒体创作、教育培训等领域，特别适合需要高效且高质量视觉呈现的场景。
AI项目与工具 2025年06月12日