AI

1. 首页
2. AI

SlideHero AI

一款专为教师设计的AI助力的在线教学工具，能够快速生成学生用的幻灯片课件，帮助他们高效地制作出有趣且符合教学要求的课件。

PPT资源 2025年06月05日 29 点赞 0 评论 610 浏览

DeepSeek R1

DeepSeek R1-Zero 是一款基于纯强化学习训练的推理模型，无需监督微调即可实现高效推理。在 AIME 2024 竞赛中 Pass@1 分数达到 71.0%，展现强大逻辑与数学推理能力。支持长上下文处理，具备自我进化、多任务泛化等特性，并通过开源和蒸馏技术推动模型应用与优化。

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

DeckSpeed

DeckSpeed是一款基于AI的智能演示文稿生成工具，通过自然语言交互实现个性化内容创作。用户可实时调整设计元素，无需依赖模板，提升制作效率与灵活性。适用于商业、教育、学术、产品推广等多个领域，满足多样化的演示需求。

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

Comet浏览器

一款由Perplexity AI开发的AI浏览器，这款浏览器支持自主任务执行、上下文理解和个性化交互，智能历史检索、代理搜索和隐私保护等功能，超越传统的检索。

AI搜索问答 2025年06月05日 35 点赞 0 评论 610 浏览

Jina AI

一家一家专注于神经搜索技术的商业开源软件公司，Jina AI致力于通过深度学习技术简化非结构化数据的搜索，提供高效、准确的搜索解决方案。

AI搜索问答 2025年06月05日 80 点赞 0 评论 610 浏览

AIEditor

AIEditor是一款基于Web Components技术开发的下一代富文本编辑器，支持多种前端框架。它具备拼写和语法检查、文本扩展、压缩、翻译和内容摘要等功能，还支持Markdown、实时协作和评论功能。此外，AIEditor还集成了虚拟白板、手绘草图和图表编辑器等工具。适用于内容创作与管理、教育与学术、企业文档处理及技术文档编写等多个领域。

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

CloneUI

一款强大的AI驱动的图片转代码工具，能够将截图、网址或 Figma 设计一键转换为 React、Vue 或 HTML/CSS 代码。

Ai编程建站 2025年06月05日 63 点赞 0 评论 611 浏览

LitLit（立理）

LitLit（立理）是一款基于AI技术的学术工具，主要功能包括文献检索、文献阅读、综述生成、学术问答等。它能够通过自研算法精准筛选文献，快速生成文献综述，并支持文献内容的深度解析和个性化学习资源推荐。此外，LitLit（立理）还提供了实时学术问答服务，帮助用户高效完成学术研究和论文写作。

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

BFS

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

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

MakeLanding

一款AI驱动的网站生成器与Ai建站工具，MakeLanding允许用户在几秒钟内创建登陆页面，无需开发人员或设计师。

Ai编程建站 2025年06月05日 86 点赞 0 评论 611 浏览