AI

1. 首页
2. AI

Buysmart.AI

Buysmart.AI,基于大模型的智能电商购物ai助手，百度“文心杯”创业大赛一等奖。

电商运营 2025年06月05日 93 点赞 0 评论 826 浏览

AndroidGen

AndroidGen 是一个基于大语言模型（LLM）的智能代理框架，专注于提升 Agent 在数据稀缺环境下的任务执行能力。它通过无监督方式收集用户操作轨迹并进行训练，结合 ExpSearch、ReflectPlan、AutoCheck 和 StepCritic 四个核心模块，增强任务规划、执行和评估能力。该框架在 AndroidWorld 和 AitW 基准测试中表现出色，适用于自动化任务处理、

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

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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

Pokecut

Pokecut是一款基于AI技术的在线照片编辑工具，主要功能包括智能背景移除、背景更换、画质增强及创意图像编辑。它支持多种应用场景，如电商、社交媒体、艺术设计和摄影后期，提供丰富背景模板与颜色选择，并可通过图层编辑器实现更精细的效果调整。Pokecut无需安装软件即可在线操作，支持多平台使用，适合不同需求的用户群体。 ---

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

Builder.io

Builder.io 是一款基于 AI 的可视化开发平台，支持将设计工具中的界面自动转换为可生产的前端代码，提升开发效率。其可视化编辑器适合非技术人员操作，支持无头 CMS 和 A/B 测试功能，适用于电商、营销页面及多品牌内容管理。平台兼容主流框架，提供多种定价方案，满足企业级应用需求。

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

NoteGen

NoteGen是一款开源AI笔记工具，支持截图识别、剪贴板监听和文本输入，通过OCR和AI技术将碎片信息整理为结构化Markdown笔记。内置Markdown编辑器与AI写作助手，支持大纲生成、公式编辑、流程图绘制及翻译优化。支持多设备同步与GitHub私有仓库管理，保障数据安全，适用于知识管理、学习研究、创作写作及团队协作等场景。

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

Grammarly抄袭检测器

检测出你文本中的抄袭行为，并检查其他写作问题。

AI写作对话 1970年01月01日 0 点赞 0 评论 828 浏览

Wisdolia AI

Wisdolia一个Chrome扩展程序，它使用 AI 为任何文章/PDF 生成抽认卡，以便您可以更好地记住您阅读的内容。

教育学习 2025年06月05日 19 点赞 0 评论 829 浏览

Text2CAD

Text2CAD 是一款基于人工智能的在线 CAD 设计工具，能够将自然语言描述快速转换为高精度的 CAD 模型。支持多种格式导出，具备快速设计、精准转换、易修改、云存储与协作等功能，适用于工业设计、教育、原型开发、VR/游戏设计及个性化定制等多个领域。平台提供不同版本的订阅服务，满足不同用户需求。

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

Imagica

Imagica，无需编写一行代码,只需描述就可生成功能APP性应用程序

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