优化 - 智狐AI导航

BFS

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

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

HiCompress

一个在线图片压缩和转换工具，支持PNG，WEBP图片无损压缩，支持将JPG, JPEG, PNG, WEBP, TIF, DDS, AVIF, PSD, HEIC,RAW, JFIF等几十种图片格式转换成PG, JPEG, PNG图片。

格式转换 2025年06月05日 52 点赞 0 评论 438 浏览

AI写作猿

AI写作猿是一款基于AI技术的多功能写作辅助平台，提供AI写作、对话、伪原创、文案提取、AI绘画及PPT生成等功能，适用于内容创作、文案撰写、学习辅导和商业策划等场景。界面友好、操作便捷，支持多领域咨询服务，帮助用户提升写作效率与质量。

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

Aidge

Aidge是阿里巴巴国际数字商业集团推出的AI电商运营平台，集成了翻译、虚拟模特生成和图像处理等功能，旨在提升跨境电商效率与用户体验。平台提供API接口，支持多语言开发，适用于多种电商场景，如产品推广、客服支持和本地化营销，助力商家降低成本、提高转化率。

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

TÜLU 3

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

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

豆包视觉理解模型

豆包视觉理解模型是一款集视觉识别、理解推理和复杂逻辑计算于一体的先进AI工具。它具备强大的视觉定位能力，支持多目标、小目标和3D定位，并能识别物体的类别、形状、纹理等属性，理解物体间的关系和场景含义。此外，模型在视频理解方面表现出色，能够进行记忆、总结、速度感知和长视频分析。凭借其高效性和成本优势，该模型广泛应用于图片问答、医疗影像分析、教育科研、电商零售及内容审核等领域。

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