One Shot, One Talk One Shot, One Talk是一项由中国科学技术大学和香港理工大学研究者开发的图像生成技术,它可以从单张图片生成具有个性化细节的全身动态说话头像。该工具支持逼真的动画效果,包括自然的表情变化和生动的身体动作,同时具备对新姿势和表情的泛化能力。One Shot, One Talk结合了姿势引导的图像到视频扩散模型和3DGS-mesh混合头像表示技术,提供了精确的控制能力和高质量的重建效果。 AI项目与工具 2025年06月12日 87 点赞 0 评论 480 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 480 浏览
Ideogram Canvas Ideogram Canvas是一款基于AI技术的创意画布工具,支持用户在一个无限制的虚拟画布上生成、编辑及合并图像。其核心功能包括Magic Fill和Extend,可实现图像局部修改与扩展,同时保持风格统一。适用于平面设计、品牌营销、内容创作、艺术设计及教育培训等多个领域,助力提升创意工作效率。 AI项目与工具 2025年06月12日 18 点赞 0 评论 481 浏览
智标领航 智标领航是一款面向招投标领域的AI工具,基于DeepSeek多模态大模型,提供标书智能生成、标讯实时更新、文件检查及私有化部署等服务。它可有效提升招投标效率,降低人工成本,适用于各类招投标相关人员和机构,助力提高中标率与工作质量。 AI项目与工具 2025年06月12日 56 点赞 0 评论 481 浏览