AI工具

Remento

Remento是一款将口头回忆转化为个性化纪念册的服务,基于Speech-To-Story™技术,将录音转写为书面故事并制成精美书籍。用户可通过提示或上传照片激发记忆,从任何设备轻松录制回答,支持文字编辑与定制化处理,同时保留原始录音的QR码链接。主要应用于家族历史记录、老年人生活回忆、节日庆典、教育传承及个人生命故事记录等领域。

MagicSchool

MagicSchool是一款面向教育领域的AI平台,提供课程规划、视频问题生成、行为干预方案制定和内容创作等功能,帮助教师提高教学效率与质量。平台支持多语言操作,内置80多种AI工具,适用于课堂教学、备课、学生个性化支持及家校沟通等多种场景,具备良好的实用性与扩展性。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。

MagicSlides

MagicSlides是一款以AI为核心的演示文稿制作工具,支持从多种来源生成高质量PPT,包括主题、视频、文档或文本。它具有强大的内容自动生成能力,同时兼容Google Slides和Figma等平台,提供多语言支持和丰富的协作功能,适用于商务、教育、科研等多个领域。

Stable Artisan

Stable Artisan是一款基于Discord平台的图像和视频生成机器人服务,利用Stability AI的AI技术和模型,如Stable Diffusion 3和Stable Video Diffusion,使用户能够通过自然语言提示生成高质量的图像和视频。此外,它还提供了一系列图像编辑工具,包括搜索替换、背景去除、高清放大、扩展外延、控制素描和结构等功能,适用于创意人士、设计师、内容创作

Outrank

Outrank 是一款基于 AI 的 SEO 内容生成与管理工具,具备自动化关键词研究、文章生成、内容发布及性能分析等功能。它支持多语言内容创作,可与主流平台和工具集成,适用于企业、营销团队和内容创作者,帮助提升网站流量与搜索排名。

MuseGate

MuseGate是一款依托生成式AI技术的电商营销工具,专注于服饰行业。它通过虚拟模特生成、场景定制、尺寸调整等功能,助力企业优化商品展示效果,降低运营成本,提升品牌形象。其核心功能包括虚拟模特生成、一键换装、场景定制、节点营销等,广泛应用于时尚展示、电子商务、广告宣传等领域。

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集,包含41.25小时高质量语音,覆盖全国22个省市。数据通过家长引导式对话采集,保证自然真实。该数据集支持语音识别、说话人验证和语言研究,适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域,为儿童语音技术研究提供重要资源。

Probly

Probly 是一款集电子表格与 Python 数据分析功能于一体的 AI 工具,支持在浏览器中运行 Python 代码,实现数据处理、可视化和智能分析。用户可通过自然语言提问获取分析结果,操作简便且保障隐私安全,适用于数据分析、教育、科研及个人数据管理等场景。

SPDL

SPDL(Scalable and Performant Data Loading)是一款由Meta AI开发的开源工具,专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载,降低资源消耗,支持分布式系统和主流AI框架PyTorch,适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。