AI - 智狐AI导航

Gendo

Gendo是一款结合生成式AI技术的建筑可视化平台，通过生成对抗网络（GANs）和扩散模型等手段，帮助设计师快速创建逼真的建筑概念图，并支持从草图到最终图像的全周期操作，具备生成性编辑、风格迁移和文本到图像生成等功能，旨在提升设计效率与视觉沟通质量。

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

SPDL

SPDL（Scalable and Performant Data Loading）是一款由Meta AI开发的开源工具，专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载，降低资源消耗，支持分布式系统和主流AI框架PyTorch，适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。

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

AI问客

AI问客是一个多功能的AI助手，它能够覆盖广泛的使用场景，为用户提供智能问答和内容创作服务。

创作工具 2026年06月29日 0 点赞 0 评论 618 浏览

Wan2.1

Wan2.1是阿里云推出的开源AI视频生成模型，支持文生视频与图生视频，具备复杂运动生成和物理模拟能力。采用因果3D VAE与视频Diffusion Transformer架构，性能卓越，尤其在Vbench评测中表现领先。提供专业版与极速版，适应不同场景需求，已开源并支持多种框架，便于开发与研究。

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

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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