BFS BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。 AI项目与工具 2025年06月12日 75 点赞 0 评论 594 浏览
All GPTs All GPTs目录是一个综合性在线资源，列出了各种GPT（预训练生成式转换器）模型、AI代理和应用程序。它是一个集中的地方，可以找到和探索基于AI的解决方案。 GPTs应用 2025年06月05日 76 点赞 0 评论 594 浏览
MakeLanding 一款AI驱动的网站生成器与Ai建站工具，MakeLanding允许用户在几秒钟内创建登陆页面，无需开发人员或设计师。 Ai编程建站 2025年06月05日 86 点赞 0 评论 594 浏览
MinusX MinusX是一款先进的AI工具，专为数据分析应用程序如Jupyter和Metabase设计。它通过自然语言处理技术，支持用户以聊天形式提出问题和假设，并自动执行数据分析任务，提供直观的见解。MinusX简化了数据探索过程，提高了工作效率，使数据分析师、研究人员和商业决策者能够快速获得深入的数据洞察。主要功能包括自然语言查询、假设生成与验证、内容修改、选择与提问以及无缝集成。 AI项目与工具 2025年06月12日 94 点赞 0 评论 594 浏览
小白研报 基于元石自研模型，让小白研报模拟人类思维，通过多轮思考与工具调用，自动生成论文、行业研究与趋势报告，并以精美可视化网页呈现出来。 AI写作对话 2025年06月05日 40 点赞 0 评论 594 浏览
