AI

星伴kChat

星伴kChat是一款由KMind开发的AI聊天机器人,基于kOS操作系统运行。它具备工作模式和闲聊模式,分别用于高效完成工作任务和提供轻松的社交互动。星伴kChat能够自动化执行任务,并提供个性化服务,适用于专业人士、学生、企业用户以及技术爱好者等不同群体。

HumanRig

HumanRig是由阿里巴巴团队研发的3D人形角色自动绑定系统,提供大规模高质量数据集和先进算法,支持从粗到细的骨架估计与蒙皮优化。其核心组件包括先验引导骨架估计器(PGSE)和网格-骨架互注意网络(MSMAN),适用于游戏开发、影视制作、VR/AR及数字人应用,有效提升3D角色动画制作效率和质量。

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型,采用强化学习技术,在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段,提升解题效率。在miniF2F基准测试中达到80.7%准确率,显著优于现有模型。具备高样本效率与良好可扩展性,适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

Wispr Flow

Wispr Flow 是一款基于AI技术的语音转文字工具,支持100多种语言,具备自动编辑、上下文感知和低音量识别等功能,提升写作与沟通效率。提供免费基础版及付费专业版和团队版,适用于写作、商务、学习等多种场景,注重用户隐私保护,操作便捷自然。

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台,提供个性化课程、智能辅导和多种学习模式,如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库,帮助学生掌握重点知识,提升学习效率。支持语音输入与全天候访问,适用于日常学习、考前复习及课堂教学辅助,助力学生高效学习与成绩提升。

LivePPT

LivePPT是一款依托AI技术的高效PPT制作工具,能够快速生成包含专业排版与配色的演示文稿。支持用户通过输入关键词或粘贴文本的方式创建内容,并提供丰富的自定义选项,如模板风格调整、页数设定及后续美化处理。该工具广泛应用于职场、教育及生活领域,极大提升了文档制作效率。

Pollo AI

Pollo AI是一款由HIX.AI推出的AI视频创作平台,支持文本、图像及视频风格转换等多种功能,能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性,适用于短视频制作、品牌推广、教学视频等领域,为用户提供高效的AI视频生成体验。

Skywork

Skywork-Reward 是昆仑万维推出的一系列高性能奖励模型,包括 Skywork-Reward-Gemma-2-27B 和 Skywork-Reward-Llama-3.1-8B,主要用于优化大语言模型的训练过程。这些模型通过提供奖励信号,帮助模型理解和生成符合人类偏好的内容。Skywork-Reward 在对话、安全性和推理任务中表现出色,并且在 RewardBench 评估基准上名列前

抖音星绘

一款由抖音推出的AI相机类产品,支持AI分身、AI修图和文生图功能。用户可以通过上传图片并输入提示词来轻松切换照片风格,如像素风、赛博朋克、日式漫画等。