AI

Blend

Blend Now 是一个提供在线图像背景移除服务的网站。该网站利用AI技术,可以快速、准确地移除照片的背景,或者更改照片的背景颜色。

天才助理AI

天才助理AI是一款面向专业领域的 AI 创意工具,它结合了超级问答和创意绘画两款强大的功能,让你可以用 AI 聊天、AI 绘画来快速激发你的灵感。它还接入了最新的 midjourney V5 版本,可以生成更多样的风格和效果。

讯飞公文写作助手

一款依托于星火大模型技术的公文写作助手,讯飞公文写作助手专为广大公文材料撰稿人打造的高效写作平台。

SPDL

SPDL(Scalable and Performant Data Loading)是一款由Meta AI开发的开源工具,专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载,降低资源消耗,支持分布式系统和主流AI框架PyTorch,适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。

潮汐AI

帮助你获得即时答案,寻找创意灵感,并学习新东西,多样化AI模型聊天功能,通过场景预输入实现精准回答。

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具,通过语音识别功能接收数学问题,结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持,适用于代数、微积分等领域的学习与教学辅助。此外,它还集成了 xRx 框架、Whisper 和 Llama 模型,确保高效且精准的问题解决能力。Mathtutor on G

LitLit(立理)

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

BFS

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

ChildMandarin

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

Dreamlike.Art

Dreamlike.Art是一个免费的人工智能艺术生成器和创作工具,利用人工智能的力量,用户可以在几秒钟内创建令人惊叹的原创艺术。它提供图像升级、创建变化、修复面部等功能。