模型

1. 首页
2. 模型

BFS

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

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

VirtualWife

VirtualWife 是一款基于人工智能技术开发的虚拟角色项目，集成了自然语言处理、语音识别与合成、机器学习等功能，支持跨平台运行和个性化定制。其主要应用场景包括个人陪伴、心理健康辅导、在线教育、客户服务、娱乐互动和直播带货，致力于为用户提供智能化、多样化的交互体验。

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

疯语咒AI

疯语咒AI是AI技术和教育的先行者，提供海量免费的AI学习材料。

Ai学习资源 2025年06月05日 21 点赞 0 评论 698 浏览

LabelLLM

一款开源免费的大模型对话标注平台

Ai平台模型 2026年08月16日 0 点赞 0 评论 699 浏览

LMArena AI

前身为lmsys.org，是一个专注于众包AI基准测试的开放平台，用户可以在此平台上免费与AI聊天并进行投票，比较和测试不同的AI聊天机器人。

Ai平台模型 2025年06月05日 13 点赞 0 评论 699 浏览

CollovGPT

Collov AI解决人工智能室内设计的未来

生活创意 2026年08月16日 0 点赞 0 评论 699 浏览

TÜLU 3

TÜLU 3是艾伦人工智能研究所发布的开源指令遵循模型，提供8B、70B及未来的405B版本。它通过后训练技术显著提升了模型在数学、编程和推理等方面的表现，同时支持多种任务处理和创新的后训练方法，适用于自然语言处理、教育、编程开发及内容创作等多个领域。

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

Gemma 3 QAT

Gemma 3 QAT 是谷歌推出的开源 AI 模型，采用量化感知训练技术，在降低显存需求的同时保持高性能。它支持多模态任务，具备 128,000-token 长上下文处理能力，并可在消费级 GPU 和边缘设备上运行。适用于视觉问答、文档分析、长文本生成等场景，同时兼容多种推理框架，便于部署。

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

Awesome MCP ZH

一个专为中文用户打造的 MCP资源合集！ 包括有 MCP 的基础介绍、玩法、客户端、服务器和社区资源，帮你快速上手这个 AI 界的“万能插头”。

Ai学习资源 2025年06月05日 40 点赞 0 评论 700 浏览

Magic3D

Magic3D是GPU制造商Nvidia在2023年2月宣布推出Magic3D，这是一种生成式AI技术，可以根据文本提示生成3D模型。

Ai绘画生成 2026年08月16日 0 点赞 0 评论 700 浏览