AI - 智狐AI导航

Celebrateally AI

一款个性化婚礼策划的智能助手，能够根据用户的需求和喜好，生成个性化的婚礼主题方案。只需输入婚礼的风格、色调、季节以及预算等基本信息，Celebrateally AI便会自动生成独特的婚礼主题。

生活创意 2025年06月05日 94 点赞 0 评论 783 浏览

天目

天目是一款由人民网开发的AI内容检测工具，能够准确识别文本中由人工智能生成的内容，准确率达到93%。该工具支持DOC和TXT格式文件，能够处理高达10万字的文本。它通过高亮显示AI生成的句段，并生成PDF格式的检测报告，方便用户查阅和分享。同时，天目承诺不保存任何用户数据，确保用户数据的安全与隐私。

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

Browserbase

Browserbase 是一款面向 AI 应用的无头浏览器平台，支持 Playwright、Puppeteer 和 Selenium 兼容，具备快速启动、全球分布和高性能的特点。它主要用于网页自动化测试、数据抓取、AI 集成和网站性能监控，为企业提供高效、灵活的浏览器实例管理解决方案。

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

钉钉·个人版

以其创新的技术、丰富的功能和个性化的服务，为用户提供了一个全面、高效的创作和问题解答平台，极大地提升了工作和生活的效率。

Ai办公效率 2026年11月08日 0 点赞 0 评论 782 浏览

NotebookLM

一款基于Gemini 的AI笔记和研究助手，旨在帮助用户更高效地进行信息整理和思考。它利用Google Gemini来处理和分析用户上传的文档和信息源。

Ai办公效率 2025年06月05日 13 点赞 0 评论 782 浏览

BFS

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

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