工具

Watermarkly

一款用于自动模糊照片部分的惊人应用程序,有了Watermarkly,您将能够在一批照片中模糊人脸和车牌,并在几分钟内保护您的敏感信息。

Alwane.io

一个免费的线上工具,专为获取网站整体配色方案而设计。 用户只需输入网址,Alwane就会立即开始扫描该网页,并提取其中 HTML、CSS 和 JavaScript 代码中所使用到的色彩信息,并以色块形式呈现。

Conbrie

Conbrie 是一款基于 AI 的知识整理与学习工具,支持文档解析、知识卡片生成、思维导图创建等功能,帮助用户高效整理和复习知识。具备多平台兼容性和多种文件导出格式,适用于个性化学习、在线教学等多种场景,提升学习效率与知识系统化程度。

Wordvice AI

一款先进的线上英语语法检查,文章改写润色工具,旨在增强写作过程,可为您自动检测文本各类英文语言使用错误,完成准确高效的英文校对,高效改善英文文本可读性。

数尖AI播

数尖AI播定位为一个智能化的直播辅助工具(手机+软件),专为本地生活直播和电商领域设计,通过深度采用人工智能技术,为用户提供多语言、多平台的直播话术生成和直播口播声音生成...

LitLit(立理)

LitLit(立理)是一款基于AI技术的学术工具,主要功能包括文献检索、文献阅读、综述生成、学术问答等。它能够通过自研算法精准筛选文献,快速生成文献综述,并支持文献内容的深度解析和个性化学习资源推荐。此外,LitLit(立理)还提供了实时学术问答服务,帮助用户高效完成学术研究和论文写作。

Kimi探索版

Kimi探索版是一款基于深度推理的AI搜索工具,具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题,通过逐步推理与数据整合生成精确解答,并支持数学建模、编程处理及多语言交流。此外,其自我反思机制进一步提升了答案的准确性,广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集,包含41.25小时高质量语音,覆盖全国22个省市。数据通过家长引导式对话采集,保证自然真实。该数据集支持语音识别、说话人验证和语言研究,适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域,为儿童语音技术研究提供重要资源。

VoiceDub

VoiceDub 是一款AI驱动的音频处理平台,支持人声替换、声音克隆、文本转语音及音频分离等功能,提供超过10,000种AI人声音色。用户可通过平台进行音乐创作、有声内容制作及个性化音频生成,适用于多种应用场景,如语言学习、娱乐互动等。