AI

1. 首页
2. AI

PaperYY

提供专业的论文重复率检测、论文降重、论文在线修改、论文格式规范等一站式服务

AI写作对话 1970年01月01日 0 点赞 0 评论 799 浏览

Kimina

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

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

DemoFusion

DemoFusion是一个技术框架，旨在低成本生成高分辨率图像。该框架通过扩展现有的开源生成人工智能模型（如Stable Diffusion），使得这些模型能够在不进行额外训练和不产生过高内存需求的情况下，将模糊的低分辨率图像转化为高清晰度图像。DemoFusion采用渐进式增强、跳跃残差和扩张采样机制，确保高分辨率图像生成的同时，保持图像的全局语义一致性和细节质量。适用于艺术创作、游戏开发、电影

AI项目与工具 2024年01月01日 29 点赞 0 评论 799 浏览

Smodin

Smodin.io是一款多语言写作辅助平台，为全球的学生、作家和互联网工作者提供一系列工具来改善写作。它提供文本改写、检测抄袭、自动引用生成和多语言翻译等功能，以提高写作内容的质量和效率。

教育学习 2025年06月05日 90 点赞 0 评论 798 浏览

TripoSR

TripoSR是一款由Stability AI与VAST联合开发的开源3D生成模型，能够在不到0.5秒内从单张2D图像生成高质量的3D模型。基于Transformer架构和大型重建模型（LRM）设计，采用先进的图像编码、三平面NeRF表示及优化训练策略，支持无GPU设备运行。适用于游戏开发、影视制作、建筑设计、产品设计等多个领域，具有高效、高精度和广泛适用性的特点。

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

FaceCheck.ID

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

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

Wispr Flow

Wispr Flow 是一款基于AI技术的语音转文字工具，支持100多种语言，具备自动编辑、上下文感知和低音量识别等功能，提升写作与沟通效率。提供免费基础版及付费专业版和团队版，适用于写作、商务、学习等多种场景，注重用户隐私保护，操作便捷自然。

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

YT Navigator

YT Navigator 是一款基于 AI 的 YouTube 内容检索工具，支持自然语言查询、语义搜索和视频内容交互。用户可快速定位视频片段并获取时间戳，提升信息获取效率。适用于研究、学习、创作和分析等场景，具备频道管理、安全会话等功能。采用向量嵌入与 BM25 算法结合的搜索机制，提高搜索准确率，项目已开源。

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

通义千问AI大模型

通义千问大模型AI开放平台，覆盖语言、听觉、多模态等领域；致力于实现接近人类智慧的通用智能，让AI从“单一感官”到“五官全开”

Ai平台模型 2025年06月05日 18 点赞 0 评论 798 浏览

揽睿星舟

揽睿星舟是一款由翼方健数自主研发的云端AI训推一体化算力平台，提供高性能GPU计算资源、开箱即用的训练与推理环境、丰富的AI工具链及预训练模型，支持多机多卡分布式训练和隐私安全计算，旨在解决AI协作中的安全信任问题并加速AI价值的释放。它包含推理服务、工作空间、星舟API、镜像社区、应用版与专业版等多种功能和服务，适用于模型训练、推理、大模型API服务、隐私安全计算及数据集共享等多个应用场景。

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