工具

1. 首页
2. 工具

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

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

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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

Fineshare VoiceTrans

Fineshare VoiceTrans 是一款支持实时变声的 AI 工具，可将声音转换为多种角色或性别，保留原有情感与语调。提供丰富的音效库、声音实验室和预设声音包，适用于游戏、直播、配音等场景。用户可通过不同订阅计划获得无限使用权限和定制服务，提升创作与互动体验。

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

代悟AI搜索

一款专为开发者打造的 AI 搜索引擎，代悟AI搜索基于专业的开发知识图谱和 RAG 技术，帮助您快速、精准地获取技术答案。

AI搜索问答 2025年06月05日 73 点赞 0 评论 1044 浏览

佐糖

佐糖是一款在线处理图片的平台，以智能AI数据处理能力为驱动，提供高效创意编辑服务。它支持抠图、在线消除笔、模糊照片变清晰、裁剪压缩图片等操作，操作简单，只需三步：上传照...

图片处理 2026年09月29日 0 点赞 0 评论 1044 浏览

Vid2World

Vid2World是由清华大学和重庆大学联合开发的创新框架，能够将全序列、非因果的被动视频扩散模型（VDM）转换为自回归、交互式、动作条件化的世界模型。该模型基于视频扩散因果化和因果动作引导两大核心技术，解决了传统VDM在因果生成和动作条件化方面的不足。Vid2World支持高保真视频生成、动作条件化、自回归生成和因果推理，适用于机器人操作、游戏模拟等复杂环境，具有广泛的应用前景。

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

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。

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

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。

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

Platus

Platus 是一款基于人工智能和无代码技术的法律服务平台，提供文件起草、审查、签署与公证等自动化功能。其智能分析可识别关键条款并确保合规性，支持工作流自定义和API集成，适用于企业法律流程优化、合规管理及跨国业务需求，提升法律处理效率与安全性。

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

PhotoKit

PhotoKit 集成了强大的在线照片编辑器

创作工具 2026年09月29日 0 点赞 0 评论 1043 浏览