工具

1. 首页
2. 工具

Smartcat

Smartcat 是一款先进的AI翻译平台，提供自动化的翻译服务和本地化解决方案。它集成了AI翻译、计算机辅助翻译（CAT）工具及翻译管理系统（TMS），支持超过280种语言和50多种文件格式。Smartcat通过内置市场连接全球翻译专家和客户，提供高效、准确的翻译服务。此外，该平台还配备了项目管理和自动化工作流工具，帮助企业简化翻译流程，加快内容的全球化进程。

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

LatentSync

LatentSync是由字节跳动与北京交通大学联合研发的端到端唇形同步框架，基于音频条件的潜在扩散模型，无需中间3D或2D表示，可生成高分辨率、动态逼真的唇同步视频。其核心技术包括Temporal Representation Alignment (TREPA)方法，提升视频时间一致性，并结合SyncNet监督机制确保唇部动作准确。适用于影视制作、教育、广告、远程会议及游戏开发等多个领域。

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

陌言AI

陌言AI是一款免费的智能AI问答系统，可以快速、准确地解答您的问题，辅助您更高效的学习和工作，陌言Ai–让创作变得更加简单。

AI写作对话 2025年06月05日 39 点赞 0 评论 495 浏览

TripoSR

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

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

Formularizer

Formularizer是一个功能强大的AI平台，帮助用户为Excel、Google Sheets、Notion等生成和解释公式。它通过快速将想法转化为公式并借助AI的帮助来节省时间，提高生产效率。

Ai办公效率 2025年06月05日 90 点赞 0 评论 495 浏览

食用手册

这是由程序员@云游君开发的一个开源在线工具，能根据用户选择的食材和厨具，智能推荐可以制作的菜谱。

生活创意 2025年06月05日 47 点赞 0 评论 495 浏览

Autoenhance.AI

Autoenhance.AI“我们的使命是为营销企业提供即时照片增强功能。”编辑器可增强您的工作流程。

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

Kimina

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

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

Picarta

Picarta是一款基于AI技术的图像位置识别工具，可自动分析照片并提供地理信息，支持旅行照片整理、摄影管理、新闻验证和历史研究等功能。平台注重隐私保护，提供多样化的服务模式，满足个人和企业用户的需求。

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

Visual Electric

一款基于 AI 的图像生成器，专为创意而设计。它提供了无限的画布和直观的界面，以简化用户的创作过程。

Ai绘画生成 2025年06月05日 12 点赞 0 评论 496 浏览