教育
  1. 首页
  2. 教育

列表

Goedel

Goedel

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

Finalle

Finalle是一款基于人工智能技术构建的金融分析平台，专为现代投资者设计。它通过实时数据分析、新闻事件集成以及财报解读等功能，帮助用户深入了解市场动态和股票表现。此外，Finalle还兼具投资者教育属性，提供从基础入门到进阶应用的学习资源。其核心优势在于高效的数据处理能力、简洁的操作体验以及对主流美股的深度覆盖。
AI项目与工具 2025年06月12日
Inverse Painting

Inverse Painting

Inverse Painting 是一种基于 AI 的创新技术，能够逆向还原绘画过程，通过分析艺术家的绘画视频学习技巧与顺序，生成详细的绘画指令，逐步更新画布，模拟创作流程。该工具可应用于艺术教育、艺术创作辅助、文化遗产保护、艺术品鉴定、娱乐产业及交互式媒体等多个领域。
AI项目与工具 2025年06月12日
ebook2audiobookXTTS

ebook2audiobookXTTS

ebook2audiobookXTTS是一款开源AI工具，可将EPUB、PDF、MOBI等多种电子书格式转换为高质量的有声书（.m4b）。通过集成Calibre和Coqui XTTS技术，支持多语言处理和章节识别，同时保留电子书元数据，适用于个人学习、教育培训、企业培训以及公共图书馆等场景，帮助用户高效获取知识。
AI项目与工具 2025年06月12日
音控

音控

音控是一款基于AI技术的音乐创作平台，提供AI作词、作曲、伴奏生成、AI歌手模拟等多功能支持，适用于个人创作、专业制作、音乐教育及治疗等领域。其智能化工具能够显著降低音乐创作门槛，同时满足多样化的音乐风格需求，使创作过程更高效且趣味盎然。 ---
AI项目与工具 2025年06月12日
Rabbithole

Rabbithole

Rabbithole 是一款基于AI的互动式知识探索工具，通过自然语言对话帮助用户深入了解历史事件和主题。平台支持对话记录保存、个性化内容推荐以及多样化的历史话题库，适用于历史爱好者、学生、教师及研究人员等多种用户群体，提升学习效率与知识获取深度。
AI项目与工具 2025年06月11日
Fourier N1

Fourier N1

Fourier N1是一款由傅利叶推出的开源人形机器人，具备23个自由度，可完成复杂动作如单足站立、坡道通行和楼梯攀爬。搭载自研控制系统和FSA 2.0执行器，支持高速稳定运行。支持多模态交互，适用于教学、康复辅助、物流搬运、家务服务及灾难救援等领域，提供全面的开源资源以支持开发与研究。
AI项目与工具 2025年06月11日
Zona

Zona

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

CursorCore

CursorCore 是一款基于大型语言模型的编程辅助工具，通过对话式交互支持代码补全、修改和错误修复。它整合代码历史、上下文信息及用户指令，利用自动化数据生成管道和基准测试优化模型性能，适用于日常编码、代码审查、教学学习及遗留代码维护等多个场景。
AI项目与工具 2025年06月12日
Magentic

Magentic

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