AI

1. 首页
2. AI

Kimina

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

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

AIPedias | AIPedias

AIpedias.com 是一个专注于人工智能领域的导航网站，提供全球最全的AI工具、资源和知识。精选国内外999+优质AI工具、资源和资讯，包括AI绘画工具、AI写作工具、AI聊天工具、AI音视频工具、AI办公工具、AI游戏制作工具、AI营销工具等AI工具大全。

GPTs应用 1970年01月01日 0 点赞 0 评论 520 浏览

STUDY FETCH

STUDY FETCH是一款基于AI技术的学习平台，提供个性化学习套件、互动式学习内容及AI助教支持等功能。它能够将课程材料转化为笔记、闪卡和测验，同时具备数据清洗、实时笔记记录及智能数据处理能力，适用于大学课程、在线教育、语言学习、职业培训及K-12教育等多个场景。

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

Lobe Chat

Lobe Chat 是一个免费开源的高性能 AI 聊天机器人框架，具备多种功能，如 GPT-4 视觉识别、文字语音转换、灵活的插件系统及个性化主题模式。用户能够轻松部署和扩展功能，适用于各种场景。该框架已在 GitHub 上获得近 14K 星标，展示了其受欢迎程度和实用性。

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

Motion Prompting

Motion Prompting 是一种利用点轨迹表示的视频生成技术，支持对象控制、相机控制及物理现象模拟等功能。它通过将用户输入转化为详细的运动轨迹，结合预训练的视频扩散模型与控制网络，在保持灵活性的同时提高生成质量。这项技术广泛应用于电影制作、游戏开发、虚拟现实等领域，为用户提供了强大的交互式视频生成工具。 ---

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

Firebase Studio

Firebase Studio 是由谷歌推出的全栈开发工具，集成了 AI 编程辅助、自然语言原型设计、高度可定制的开发环境，并与 Firebase 和 Google Cloud 深度集成。支持从代码仓库导入项目、使用模板快速启动应用、AI 生成代码与文档、预览与调试等功能，适用于快速原型设计、全栈开发、团队协作及教育场景。开发者可根据需求选择不同工作区数量的定价方案。

AI项目与工具 2025年04月17日 68 点赞 0 评论 519 浏览

HeyMusic AI

一个基于AI的通过输入歌词或简单的提示来生成独特音乐作品的工具，帮助音乐家和歌曲作者创作歌词、旋律和完整的音乐编排。

Ai语音工具 2025年06月05日 54 点赞 0 评论 519 浏览

Melodio

Melodio是一款由昆仑万维开发的AI流媒体音乐应用程序，能够根据用户输入的提示实时生成个性化音乐。该应用程序支持多种语言，包括中文，并提供无限流式播放功能。用户可以在音乐播放过程中随时调整提示，享受连续不断的音乐体验。此外，Melodio还具有歌词查询、音乐保存和分享功能。其主要功能包括AI音乐生成、多语言支持、无限流式播放、实时音乐定制以及歌词查询和显示。

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

unbounce

Unbounce是一款AI驱动的网站构建工具，专为营销人员设计，用于创建高转化率的落地页。其核心功能包括AI文案生成、A/B测试、实时数据分析及自动优化，支持用户轻松定制页面并整合各类营销工具。适用于产品发布、广告投放、内容营销等多种场景，助力提升营销活动的效果。

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

百川角色大模型

百川角色大模型是百川智能推出的一款重要的大模型产品，专注于角色知识和对话能力的深度优化。

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