AI
  1. 首页
  2. AI

列表

BFS

BFS

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

WorldSense

WorldSense是由小红书与上海交通大学联合开发的多模态基准测试工具，用于评估大型语言模型在现实场景中对视频、音频和文本的综合理解能力。该平台包含1662个同步视频、3172个问答对，覆盖8大领域及26类认知任务，强调音频与视频信息的紧密耦合。所有数据经专家标注并多重验证，确保准确性。适用于自动驾驶、智能教育、监控、客服及内容创作等多个领域，推动AI模型在多模态场景下的性能提升。
AI项目与工具 2025年06月12日
ShipAny

ShipAny

ShipAny 是一款基于 NextJS 的 AI SaaS 开发工具，提供丰富模板、基础设施集成和一键部署功能，助力开发者快速构建 AI 相关产品。支持身份验证、支付处理、AI 图像生成、SDK 集成及 SEO 优化，适用于全球市场。涵盖写作助手、智能问答、图像生成等多种应用场景，适合初创企业与开发者使用。
AI项目与工具 2025年06月12日
Skyvern

Skyvern

Skyvern是一款基于开源的浏览器自动化工具，集成了大型语言模型和计算机视觉技术，用于实现网页内容解析、交互计划生成及执行。其主要功能涵盖CAPTCHA解决、双因素认证支持、代理网络配置、可解释AI操作以及数据提取等，适用于网站数据抓取、表单填写、网页测试等多种应用场景。
AI项目与工具 2025年06月12日
CreatorKit

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。
AI项目与工具 2025年06月12日
Artinails

Artinails

Artinails 是一款基于 AI 技术的美甲设计工具，支持用户通过简单输入生成个性化美甲方案。平台涵盖多种美甲风格，如法式、水晶、凝胶等，并提供颜色、形状和图案的自定义功能。界面简洁易用，适合个人及美甲从业者使用，同时支持季节性设计灵感，提升创作效率与个性化体验。
AI项目与工具 2025年06月12日
天目

天目

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

artflow

Artflow 是一款利用人工智能技术打造的动画创作工具，用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作，涵盖多种语言与视觉风格选项，适合教育、营销、娱乐等多个领域应用，帮助用户实现高效且个性化的创意输出。
AI项目与工具 2025年06月12日
AIEditor

AIEditor

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

大创

大创是一家专注于电商领域的AI技术公司，提供包括AI模特生成、虚拟试衣、商品展示优化及场景构建在内的多项功能，帮助企业提升商品展示效果和营销效率。凭借其强大的技术能力和灵活的服务模式，大创已成为电商行业的重要助力。
AI项目与工具 2025年06月12日