AI

1. 首页
2. AI

Kimina

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

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

Kotae

Kotae是一款专为中小企业设计的智能聊天机器人平台，基于ChatGPT技术开发，支持80多种语言，可快速自然地响应客户咨询。用户无需编程即可在5分钟内完成配置和部署，通过分析网站内容、培训材料和FAQ生成准确回答。支持品牌定制和实时对话管理，适用于自动化客户服务、提升满意度及收集客户反馈等场景。

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

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。

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

幕布

幕布是一款AI驱动的大纲笔记工具，支持结构化知识整理与一键生成思维导图，帮助用户更高效地理解和记忆信息。其功能涵盖任务拆解、团队协作、多平台同步及Markdown编辑等，适用于学习、工作与会议管理等多种场景，提升信息处理效率与组织能力。

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

Inksprout

Inksprout是一款利用AI技术实现文本到视频转换的智能工具，主要功能包括自动生成短视频摘要、适配社交媒体平台的视频内容制作以及定制化广告文案设计。它支持多种应用场景，如内容营销、教育培训和企业内部培训等，帮助企业或个人更高效地传播信息，扩大品牌影响力。其核心优势在于自动化处理流程与高质量输出结果，为用户提供了一种创新性的多媒体内容生成解决方案。

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

Project IDX

谷歌推出的云端全栈开发环境，集成Gemini，支持全栈和多平台应用开发，提供智能代码补全、上下文操作、跨平台预览、一键部署到Firebase Hosting等功能。

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

奇布塔

奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。

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

dorik

Dorik是一款基于AI技术的无代码网站构建平台，支持用户通过简单的提示快速创建美观且功能齐全的网站，无需编码或设计经验。平台提供白标CMS、博客平台、会员站点、SEO工具、Airtable集成等功能，并配备了丰富的模板和预设计UI组件。AI工具可自动生成文本和图像内容，加速网站构建过程。

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

TikTok Voice

TikTok Voice 是一款基于人工智能的文字转语音工具，提供多种声音选项，支持多种语言和口音。它能将文本转换成清晰自然的语音，适用于视频编辑、文本朗读、有声电子书制作等多个场景。该工具界面简洁，操作便捷，且完全免费，适合全球用户使用。

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

Coloring Book Hero

Coloring Book Hero是一款利用AI技术打造的数字涂色应用，用户可通过文字指令生成个性化绘图模板并上色。它拥有丰富的模板库及多样化工具，支持精细操作，并具备社区分享功能，适用于教育、娱乐、减压及艺术治疗等场景。

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