Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 985 浏览
Goku Goku是由香港大学与字节跳动联合开发的AI视频生成模型，支持文本到图像、文本到视频、图像到视频等多种生成方式。其核心优势在于高质量的视频输出、低制作成本及多模态生成能力。Goku+作为扩展版本，专注于广告视频创作，具备稳定的动作表现和丰富的表情交互。模型基于大规模数据集和先进架构，适用于广告、教育、娱乐等多个领域，提升了内容创作效率与质量。 AI项目与工具 2025年02月11日 29 点赞 0 评论 984 浏览
URM URM是由阿里妈妈开发的通用推荐模型，结合大语言模型与电商领域知识，提升推荐效果。其采用多模态融合与Sequence-In-Set-Out生成方式，支持多场景、多目标、长尾及发现性推荐。具备高效率、零样本学习能力，适用于工业级推荐系统，已应用于阿里妈妈展示广告场景，优化用户体验与商家投放效果。 AI项目与工具 2025年06月11日 85 点赞 0 评论 984 浏览
Etna模型 一个文字转视频的AIGC模型，Etna能够根据简短的文本描述生成相应的视频内容，支持生成时长为8-15秒的视频，且视频流畅度极高，每秒可达60帧。 Ai视频生成 2025年06月05日 28 点赞 0 评论 984 浏览
designify Designify是一款基于AI技术的在线设计工具，专注于为用户提供高效、专业的图像处理服务。它具备自动背景移除、色彩优化、阴影调节等功能，同时支持自定义元素添加和批量处理，广泛应用于电商、营销及汽车行业。Designify还提供了高分辨率输出和API接入能力，使用户能够灵活整合至现有工作流中，满足不同场景下的设计需求。 AI项目与工具 2025年06月12日 19 点赞 0 评论 984 浏览
Dippy Dippy 是一款基于 AI 技术的个性化伴侣平台，通过虚拟角色实现与用户的互动交流。其特色包括思维链技术，使用户能洞察 AI 回答的逻辑过程；同时支持用户自定义角色外观、情感陪伴、语言学习及任务管理等功能。Dippy 目前专注于 iOS 用户群体，致力于打造高度个性化且透明的 AI 交互体验。 AI项目与工具 2025年06月12日 11 点赞 0 评论 983 浏览
Smodin Smodin.io是一款多语言写作辅助平台，为全球的学生、作家和互联网工作者提供一系列工具来改善写作。它提供文本改写、检测抄袭、自动引用生成和多语言翻译等功能，以提高写作内容的质量和效率。 教育学习 2025年06月05日 90 点赞 0 评论 983 浏览
Skywork Skywork-Reward 是昆仑万维推出的一系列高性能奖励模型，包括 Skywork-Reward-Gemma-2-27B 和 Skywork-Reward-Llama-3.1-8B，主要用于优化大语言模型的训练过程。这些模型通过提供奖励信号，帮助模型理解和生成符合人类偏好的内容。Skywork-Reward 在对话、安全性和推理任务中表现出色，并且在 RewardBench 评估基准上名列前 AI项目与工具 2025年06月12日 32 点赞 0 评论 983 浏览
MusicFX Google MusicFX是一款基于人工智能技术的音乐生成工具，支持用户通过文本描述来生成音乐，涵盖多种风格。它具备文本到音乐创作、自定义音乐参数、数字水印技术和版权安全过滤等功能，旨在降低音乐创作门槛，提升创作效率和质量。自发布以来，已有大量用户通过该工具创作出原创音乐作品。 AI项目与工具 2024年01月01日 25 点赞 0 评论 983 浏览
