AI项目与工具

DeepL Voice

DeepL Voice是一款由DeepL推出的即时语音翻译服务，分为DeepL Voice for Meetings和DeepL Voice for Conversations两大模块。前者针对虚拟会议设计，支持实时字幕生成和跨语言协作，兼容超过30种语言并集成Microsoft Teams；后者专注于移动设备上的面对面语音翻译。凭借其低延迟、高性能和高安全性（ISO 27001认证），DeepL

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

PopShort.AI

PopShort.AI 是一款利用人工智能技术打造的短剧创作平台，专注于提供沉浸式互动体验和创新剧情。平台每周更新短剧内容，用户可与虚拟角色对话，体验独家剧情，并通过访问庞大的AI故事库参与创作。PopShort.AI 支持多种视频风格，包括短剧、互动故事、定制视频等，满足多样化的创作需求。

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

Kimina

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

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

Wispr Flow

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

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

Circuit Tracer

Circuit Tracer 是 Anthropic 推出的开源工具，用于研究大型语言模型的内部工作机制。它通过生成归因图揭示模型在生成特定输出时的决策路径，帮助研究人员追踪模型的决策过程、可视化特征关系并测试假设。支持多种主流模型如 Gemma 和 Llama，提供交互式可视化界面，便于探索和分析模型行为。其功能包括生成归因图、可视化与交互、模型干预以及支持多种模型。

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

Meissonic

Meissonic是一款由阿里巴巴集团与多家高校联合开发的文本到图像合成模型，基于掩蔽图像建模技术，结合多模态和单模态Transformer层、高级位置编码策略及优化采样条件，实现了高分辨率图像生成、文本到图像转换、零样本图像编辑等功能。其高效性能使其适用于多种场景，包括艺术创作、媒体娱乐、广告营销、教育及电子商务等领域。 ---

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

神采PromeAI

神采PromeAI是一款面向建筑师、室内设计师、产品设计师及游戏动漫设计师的AI设计助手。它通过强大的AIGC模型风格库，支持用户通过文字描述、草图或图片上传，快速生成高质量的设计图。此外，PromeAI还具备旧建筑翻新功能，能够提供高效的旧区改造设计方案，并支持多种风格转换和细节调整，从而实现卓越的视觉效果。

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