算法

1. 首页
2. 算法

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型，可在空间结构差异较大的场景下实现精准动作迁移，并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取（FAE），有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域，具有良好的应用前景。

AI项目与工具 2025年06月11日 39 点赞 0 评论 558 浏览

TransPixar

TransPixar是由多所高校及研究机构联合开发的开源文本到视频生成工具，基于扩散变换器（DiT）架构，支持生成包含透明度信息的RGBA视频。该技术通过alpha通道生成、LoRA微调和注意力机制优化，实现高质量、多样化的视频内容生成。适用于影视特效、广告制作、教育演示及虚拟现实等多个领域，为视觉内容创作提供高效解决方案。

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

Kimina

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

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

OptoChat AI

OptoChat AI是国内首款面向光子领域的AI大模型，整合超30万条光子芯片相关数据资源，具备强大的数据分析与智能算法能力。可实现光子芯片设计优化、工艺验证、文献检索等功能，显著提升研发效率，缩短设计周期。适用于科研、制造、教育及市场分析等多个场景，推动光子产业智能化发展。

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

Goedel

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

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

晨羽AI效果图

晨羽AI效果图是一款专为家装设计师和业主打造的移动端装修设计工具。它集成了智能算法，可根据用户所提供的房屋面积、户型和风格等各种要素。

电商运营 2025年06月05日 52 点赞 0 评论 581 浏览

Buysmart.AI

Buysmart.AI,基于大模型的智能电商购物ai助手，百度“文心杯”创业大赛一等奖。

电商运营 2025年06月05日 93 点赞 0 评论 594 浏览

BriefGPT AI论文速递

BriefGPT AI是一个AI论文速递网站，它可以帮助研究人员快速发现AI领域的最新研究进展。BriefGPT AI每天持续更新顶级会议和期刊上发表的AI相关论文，并提供论文标题、简要摘要以及论文PDF下载链接。

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

GeneralDyG

GeneralDyG是一种由南洋理工大学提出的通用动态图异常检测方法，适用于社交网络、电商、网络安全和金融等领域。该工具通过时间 ego-graph 采样、图神经网络和时间感知 Transformer 模块，有效捕捉动态图的多尺度特征，具备高适应性和计算效率。实验证明其性能优于多种主流方法，具有广泛的应用前景。

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