AI

1. 首页
2. AI

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

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

冒泡鸭

借助自研的多模态大模型技术，冒泡鸭成为对话AI的新代表。这个先进的系统植入了众多由大模型技术支持的智能对话单元，这些“智能体”旨在提供用户所需的信息和灵感，不仅解答疑问，...

创作工具 1970年01月01日 0 点赞 0 评论 569 浏览

Magician.Design

Magician.Design是一款由 AI 提供支持的Figma设计工具插件。您可以将其安装在 Figma 上，并在 AI 的帮助下用于增强您的设计工作流程。

Ai图片处理 2025年06月05日 90 点赞 0 评论 569 浏览

Supademo

Supademo是一款基于AI技术的交互式产品演示平台，支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容，并通过多渠道分享。平台提供丰富的分析功能，适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。

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

Answer.AI

Answer.AI是一款结合先进AI技术的学习辅导工具，主要功能包括拍照解题、概念解析、记忆卡片及模拟测试，覆盖多学科领域。它通过个性化交互与智能辅助提升学习效率，适用于家庭作业辅导、考前复习、课堂补充及个性化学习计划制定。 ---

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

Artroom AI

一个允许用户在AI的帮助下创作艺术的平台。它使用一种称为**稳定扩散**的技术，可以从文本描述中生成逼真且多样化的图像.

Ai绘画生成 2025年06月05日 61 点赞 0 评论 568 浏览

Nexa AI

Nexa AI致力于生成高质量的AI生成产品图像。它可以根据用户上传的产品图片，自动去除背景并生成符合不同行业的适用模板。

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

RTranslator

RTranslator是一款基于AI技术的开源、免费离线翻译应用，专为Android设备设计。它支持对话模式、对讲机模式及文本翻译功能，能够实现高质量的多语言实时翻译。RTranslator采用Meta的NLLB翻译模型和OpenAI的Whisper语音识别技术，支持多种语言，完全离线运行，保障用户隐私安全。

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

PPT AI

一个在线AIPPT生成平台。通过 AI 的智能内容分析，将文本、文档、PDF、网站和视频快速生成为专业的PPT。

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

FaceCheck.ID

FaceCheck.ID是一款利用人工智能和面部识别技术的平台，帮助用户在互联网和社交媒体中定位和验证个人身份。它能够搜索社交媒体、新闻、博客及犯罪数据库，提供精确的面部匹配结果，同时具有高级过滤器和隐私保护功能，适用于身份核实、诈骗防范及犯罪嫌疑人追踪等多种场景。

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