AI

1. 首页
2. AI

Wisdolia AI

Wisdolia一个Chrome扩展程序，它使用 AI 为任何文章/PDF 生成抽认卡，以便您可以更好地记住您阅读的内容。

教育学习 2025年06月05日 19 点赞 0 评论 766 浏览

gling

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

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

sendsteps

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

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

UI

UI-TARS是由字节跳动开发的图形用户界面代理模型，支持通过自然语言实现桌面、移动端和网页的自动化交互。具备多模态感知、跨平台操作、视觉识别、任务规划与记忆管理等功能，适用于自动化任务执行和复杂交互场景。支持云端与本地部署，提供丰富的开发接口，便于集成与扩展。

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

MinMo

MinMo是阿里巴巴通义实验室推出的多模态语音交互大模型，具备高精度语音识别与生成能力。支持情感表达、方言转换、音色模仿及全双工交互，适用于智能客服、教育、医疗等多个领域，提升人机对话的自然度与效率。

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

Goedel

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

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

Coloring Book Hero

Coloring Book Hero是一款利用AI技术打造的数字涂色应用，用户可通过文字指令生成个性化绘图模板并上色。它拥有丰富的模板库及多样化工具，支持精细操作，并具备社区分享功能，适用于教育、娱乐、减压及艺术治疗等场景。

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

Tailor Brands Logo Maker

从在线logo设计到品牌包一键搞定

Ai绘画生成 1970年01月01日 0 点赞 0 评论 765 浏览

NutWorld

NutWorld是由新加坡国立大学、南洋理工大学与Skywork AI联合开发的视频处理框架，能够高效地将单目视频转换为动态3D高斯表示（Gaussian Splatting）。它基于时空对齐高斯（STAG）表示法，实现视频的时空连贯建模，支持高保真视频重建和多种下游任务，如新视图合成、视频编辑、帧插值和深度预测。该工具具备实时处理能力，适用于视频创作、AR/VR、自动驾驶等多个领域。

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

AgentSociety

AgentSociety是由清华大学开发的基于大语言模型的社会模拟平台，通过构建具有“类人心智”的智能体，模拟复杂的社会行为与现象。平台支持城市环境建模、大规模社会模拟和科研工具集成，适用于社会舆论传播、政策评估、社会极化分析及灾害响应研究。其技术特点包括异步模拟架构、分布式计算和MQTT通信，具备高度可扩展性和实时交互能力。

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