AI

1. 首页
2. AI

Kimina

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

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

冒泡鸭

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

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

Perplexity

Perplexity AI 是一款对话式AI搜索引擎，通过自然语言处理技术，能够从多种来源收集信息并提供准确答案。它支持用户通过聊天方式进行提问，确保信息来源可靠，并适用于多种职业背景的用户。与传统搜索引擎相比，Perplexity AI 提供了简洁无广告的体验和更高效的搜索结果。

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

AdaCache

AdaCache是一种开源的自适应缓存技术，由Meta开发，用于加速AI视频生成。它通过动态调整计算资源和引入运动正则化策略，优化视频生成过程中的缓存决策，显著提升生成速度，同时保持视频质量。AdaCache无需重新训练即可轻松集成到现有模型中，并适用于多GPU环境，广泛应用于影视制作、视频编辑、在线平台及虚拟现实等领域。

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

Video Enhance AI

Video Enhance AI是一款专门针对视频的增强工具，采用深度学习算法，支持用户轻松的将所有低分辨率视频转换成8K分辨率的高质量视频。

Ai视频生成 2025年06月05日 12 点赞 0 评论 743 浏览

MUSIC.AI

MUSIC.AI 是一款基于人工智能的音频处理平台，提供音频分离、混音、母带处理、语音转换、歌词转录等功能，支持多语言翻译与本地化。平台已处理超 10 亿分钟音频，服务数千万用户，适用于音乐制作、视频剪辑及现场演出等多种场景，显著提升音频处理效率与质量。

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

THunt.AI

一个专业且免费的选品分析工具，Thunt为您分析您竞品的销售情况和价格信息，并帮助您找到更多的货源。

数据分析 2025年06月05日 17 点赞 0 评论 743 浏览

MCP Servers

MCP Servers是字节跳动推出的大模型生态平台，为开发者提供高效、灵活的大模型开发与部署环境。通过MCP协议集成搜索、数据库、API等工具，支持模块化开发和全链路闭环。平台整合MCP Market、火山方舟和Trae，实现从工具调用到应用部署的全流程。支持Local和Remote部署模式，涵盖自动化代码生成、智能数据库运维、跨仓库调试等应用场景，助力开发者提升效率。

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

天壤万卷

天壤万卷是一款基于AI的文档处理工具，支持多格式文档（含超大文件和扫描件）的处理。其核心功能包括混合检索、跨语言问答、精准定位和溯源答案，同时配备表格、图像、公式识别等实用工具及行业模板，适用于法律、学术、金融等多个领域。

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

GPDiT

GPDiT是一种由多所高校和企业联合开发的视频生成模型，结合了扩散模型与自回归模型的优势，具备高质量视频生成、视频表示学习、少样本学习和多任务处理能力。其核心技术包括轻量级因果注意力机制和无参数的旋转基时间条件策略，提升了生成效率与质量。该模型适用于视频创作、编辑、内容理解及创意生成等多种应用场景。

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