VirtualWife VirtualWife 是一款基于人工智能技术开发的虚拟角色项目,集成了自然语言处理、语音识别与合成、机器学习等功能,支持跨平台运行和个性化定制。其主要应用场景包括个人陪伴、心理健康辅导、在线教育、客户服务、娱乐互动和直播带货,致力于为用户提供智能化、多样化的交互体验。 AI项目与工具 2025年06月12日 100 点赞 0 评论 692 浏览
Magic3D Magic3D是GPU制造商Nvidia在2023年2月宣布推出Magic3D,这是一种生成式AI技术,可以根据文本提示生成3D模型。 Ai绘画生成 2026年08月13日 0 点赞 0 评论 692 浏览
TÜLU 3 TÜLU 3是艾伦人工智能研究所发布的开源指令遵循模型,提供8B、70B及未来的405B版本。它通过后训练技术显著提升了模型在数学、编程和推理等方面的表现,同时支持多种任务处理和创新的后训练方法,适用于自然语言处理、教育、编程开发及内容创作等多个领域。 AI项目与工具 2025年06月12日 88 点赞 0 评论 692 浏览
BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 694 浏览
RegionDrag RegionDrag是一种基于区域的图像编辑技术,由香港大学和牛津大学联合开发。该技术利用扩散模型,让用户通过定义手柄区域和目标区域来实现快速且精确的图像编辑。RegionDrag在单次迭代中完成编辑任务,显著减少编辑时间,同时采用注意力交换技术增强编辑的稳定性和自然性。主要应用领域包括数字艺术与设计、照片编辑、虚拟现实、游戏开发以及电影和视频制作等。 AI项目与工具 2025年06月12日 16 点赞 0 评论 695 浏览
OmniManip OmniManip是由北京大学与智元机器人联合实验室开发的通用机器人操作框架,结合视觉语言模型与三维操作技术,实现机器人在非结构化环境中的任务执行。其核心为以对象为中心的交互基元表示法,支持零样本泛化、跨平台部署及大规模仿真数据生成。通过双闭环系统设计与任务分解机制,提升操作精度与适应性,适用于日常操作、工业自动化及服务机器人等场景。 AI项目与工具 2025年06月12日 53 点赞 0 评论 696 浏览