AI

Runway Gen

Runway Gen-4 是一款由 Runway 公司推出的高保真 AI 视频生成模型,能够跨场景保持人物、物体和环境的一致性,无需额外训练。用户仅需提供一张参考图和文字指令,即可生成具有真实物理效果和高质量视觉风格的视频内容。支持多种应用场景,如影视制作、动画创作、音乐视频、游戏开发和广告营销,有效提升创作效率并降低成本。

AVCLabs Photo Enhancer AI

AI驱动的照片放大工具。每个工具都可以相互配合使用,为您的项目提供全面的编辑功能,具有图像放大、降噪、面部优化等功能

灵格AI英语

灵格AI英语是一款基于AI技术的英语学习工具,提供视频学习、AI导师互动、发音纠正、场景对话练习等功能,帮助用户提升听说能力。平台支持个性化学习路径,涵盖日常口语、知识学习、考试备考等多场景应用,适合不同需求的学习者使用。

TongGeometry

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

Praktika

Praktika是一款基于AI技术的语言学习应用,通过高度逼真的虚拟人物提供沉浸式口语练习,帮助用户提升语言流利度与自信心。平台提供个性化学习路径、丰富多样的课程内容及实时反馈功能,涵盖基础语法、商务英语、考试准备等主题,适用于不同学习目标和兴趣场景,是高效语言学习的优质选择。

Aider

Aider 是一款开源 AI 编程辅助工具,支持多语言开发,集成多种大型语言模型,通过命令行实现代码编辑、自动提交和多文件处理。具备语音编程、图片交互等功能,提升开发效率。适用于新项目搭建、代码修复、重构及团队协作,支持与主流 IDE 集成,提供流畅的开发体验。

AiExcelBot

AiExcelBot是一款利用人工智能快速、轻松生成Excel和Google Sheets公式的工具。