AI工具 - 智狐AI导航

BFS

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

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

MiniMax

MiniMax-01是由MiniMax推出的高性能AI模型系列，包含语言模型MiniMax-Text-01和视觉多模态模型MiniMax-VL-01。该系列采用线性注意力机制，支持处理长达400万token的上下文，性能接近国际领先模型。具备强大的语言理解、多模态处理及长文本分析能力，适用于企业、教育、科研及开发等多个领域。API定价合理，提供高效的长文本处理与多模态交互解决方案。

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

Aitoolhunt ai工具

Aitoolhunt,发现最新的人工智能工具、服务、资源，来帮助你完成工作

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

AddressCLIP

AddressCLIP 是一种基于 CLIP 技术的端到端图像地理定位模型，由中科院自动化所与阿里云联合开发。它通过图像与地址文本对齐和地理匹配技术，实现街道级别的精确定位，无需依赖 GPS。模型在多个数据集上表现优异，适用于城市管理、社交媒体、旅游导航等多个场景，具备良好的灵活性和多模态结合潜力。

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

OpusSearch

OpusSearch 是一款由 OpusClip 推出的 AI 视频搜索工具，支持用户按主题、演讲者或对象快速检索视频内容并实现再利用。该工具帮助创作者构建主题频道，响应热点趋势，并将旧视频转化为新内容。同时支持跨平台分发和自动化剪辑，提升内容运营效率，适用于内容创作、教学资源管理、品牌推广等多个场景。

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