BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 254 浏览
Saner.AI Saner.AI是一款以人工智能驱动的知识管理工具，旨在提高个人和团队的工作效率。其主要功能包括即时笔记记录、智能信息导入、专注模式、多视角信息查找、PDF与笔记摘要生成，以及标签推荐和相似笔记连接等。通过这些功能，Saner.AI能够帮助用户高效整理信息、激发创意，并提升专注力。它适用于多种场景，包括个人知识管理、团队协作、学习辅助、项目管理和日常任务规划，同时注重数据安全与隐私保护。 AI项目与工具 2025年06月12日 19 点赞 0 评论 254 浏览
PromptFix PromptFix是一款基于扩散模型的开源AI图像修复工具，支持多种图像处理任务，如上色、物体移除、去雾、去模糊等。它通过20步去噪过程精确修复图像缺陷，同时保持图像结构完整性和泛化能力。PromptFix具备高频细节保护、辅助提示适配器、零样本学习能力和大规模数据集构建等特点，适用于个人照片编辑、专业摄影、数字艺术创作、媒体广告及电影制作等多个领域。 AI项目与工具 2025年06月12日 17 点赞 0 评论 253 浏览
AI Tools Alternatives 当你在浏览 AI 相关网站时，AI Tools Alternatives插件会智能地分析您正在查看的内容，并建议可能更适合您需求的替代 AI 工具。 Ai学习资源 2025年06月05日 38 点赞 0 评论 253 浏览
五点下班AIGC 五点下班AIGC汇集了AI聊天、AI绘图、AI技能、AI工具箱，了解全新的AIGC技术，帮助您在前沿领域保持领先。 Ai绘画生成 2025年06月05日 22 点赞 0 评论 252 浏览
SlidesGPT SlidesGPT是一款利用AI技术快速生成高质量演示文稿的工具，支持从文本到幻灯片的自动化转换，具备智能内容生成、图片匹配、专业排版设计等功能。其应用场景广泛，涵盖教育、商务、培训等多个领域，帮助用户节省时间并提升工作效率。 AI项目与工具 2025年06月12日 100 点赞 0 评论 252 浏览
心光 心光是一款结合AI技术的个人生活记录工具，支持时间轴记录、情绪识别、智能分类等功能，帮助用户记录生活、管理情绪并获得情感支持。其核心特点在于通过多媒体记录和个性化设置，为用户提供便捷、高效的记录方式，同时生成“人生之书”以呈现生活轨迹。 AI项目与工具 2025年06月12日 78 点赞 0 评论 251 浏览
olmOCR olmOCR 是一款开源 PDF 文档处理工具，结合文档锚定技术和 Qwen2-VL-7B-Instruct 模型，可高效提取结构化文本并保留原始布局。支持多种文档类型，具备大规模批量处理能力和低成本优势，适用于学术研究、法律文件处理、企业文档管理及数字图书馆建设等多个场景。其开源特性与可扩展性也增强了用户的使用灵活性。 AI项目与工具 2025年06月12日 47 点赞 0 评论 250 浏览
