哩布哩布AI liblibai哩布哩布AI,原创AI模型分享社区，这里有最新、热门的模型素材，10万+模型免费下载。欢迎每一位创作者加入，分享你的作品。与中国原创模型作者交流,共同探索AI绘画。 Ai绘画生成 2025年06月05日 31 点赞 0 评论 1026 浏览
DeepGEMM DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。 AI项目与工具 2025年06月12日 61 点赞 0 评论 1025 浏览
UNO UNO是字节跳动推出的AI图像生成框架，支持单主体和多主体图像生成，解决多主体一致性难题。采用扩散变换器和渐进式跨模态对齐技术，结合通用旋转位置嵌入（UnoPE），实现高一致性与可控性。适用于虚拟试穿、产品设计、创意设计等多个领域，具备强大泛化能力，已开源并提供完整技术文档。 AI项目与工具 2025年06月11日 23 点赞 0 评论 1025 浏览
VoxCraft Ai 北京生数科技有限公司开发的一款强大的AI生成3D工具，VoxCraft Ai基于底层通用多模态大模型，具备优越的多模态生成能力。 3D&游戏 2025年06月05日 22 点赞 0 评论 1024 浏览
浦语灵笔 浦语灵笔IXC-2.5是一款由上海人工智能实验室开发的多模态大模型，具备7B规模的大型语言模型后端，能够处理长上下文、超高分辨率图像和细粒度视频理解，支持多轮多图像对话。该模型可以自动生成网页代码和高质量图文内容，在多模态基准测试中表现出色，性能可与OpenAI的GPT-4V相媲美。 AI项目与工具 2025年06月12日 62 点赞 0 评论 1023 浏览
Kimina Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。 AI项目与工具 2025年06月11日 33 点赞 0 评论 1023 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 1023 浏览
联通元景 联通元景（UniT2IXL）是一款基于国产昇腾AI平台开发的中文原生文生图模型，具备卓越的中文语义理解和高质量图像生成能力。它通过复合语言编码模块优化中文长文本处理，并利用大量中文图文数据进行预训练，确保信息完整性和生成质量。该模型支持国产化算力环境，适配多种应用场景，包括文物数字化、个性化服装定制、智能家居设计、广告创意生成及在线教育等，为企业提供高效解决方案。 AI项目与工具 2025年06月12日 54 点赞 0 评论 1022 浏览
MCPHub MCPHub 是一个集成了多种 MCP 服务器的聚合平台，支持将多个服务器整合至流式 HTTP（SSE）端点，提供集中式管理界面和协议兼容性。具备热插拔配置、访问控制、安全认证等功能，支持 Docker 部署，适用于 AI 工具集成、多模型协同及私有化部署等场景，提升 AI 开发与管理效率。 AI项目与工具 2025年06月11日 40 点赞 0 评论 1022 浏览
