AI

Uncrop | 图片自动补全

UNCROP是一款在线AI图片自动补全工具。它利用强大的AI人工智能技术,能够帮助我们对图片进行扩展和自动补全,兼容上下、左右方向的扩充。

Upscayl

Upscayl 是一款效果非常出众的图片放大变清晰图片处理软件,通过使用高级的 AI 模型来升级低分辨率图像,使得模糊的图片即使放大也同样清晰。

Artinails

Artinails 是一款基于 AI 技术的美甲设计工具,支持用户通过简单输入生成个性化美甲方案。平台涵盖多种美甲风格,如法式、水晶、凝胶等,并提供颜色、形状和图案的自定义功能。界面简洁易用,适合个人及美甲从业者使用,同时支持季节性设计灵感,提升创作效率与个性化体验。

mailerlite

MailerLite是一款面向小型企业和内容创作者的电子邮件营销平台,提供自动化邮件、登录页面设计、订阅表单制作及网站构建等功能。其核心特色在于AI技术支持,例如智能发送优化邮件送达时间,以及AI主题行生成器提升邮件吸引力。这些功能共同提升了用户的邮件营销效率与用户体验。

白日梦AI

一个文生视频类AIGC创作平台,支持文生视频、动态画面、AI角色生成、人物/场景一致性,可以将故事生成视频。

纸飞机AI

纸飞机AI是一款依托人工智能技术的虚拟陪伴应用,允许用户创建个性化AI智能体,提供情感支持、互动陪伴及社交体验。具备逼真的文本转语音功能,支持多角色选择和多样化的互动形式,包括朋友圈社交与角色对话创作。广泛应用于社交训练、情感支持、娱乐休闲及语言学习等领域。

Transfusion

Transfusion是由Meta公司开发的多模态AI模型,能够同时生成文本和图像,并支持图像编辑功能。该模型通过结合语言模型的下一个token预测和扩散模型,在单一变换器架构上处理混合模态数据。Transfusion在预训练阶段利用了大量的文本和图像数据,表现出强大的扩展性和优异的性能。其主要功能包括多模态生成、混合模态序列训练、高效的注意力机制、模态特定编码、图像压缩、高质量图像生成、文本生成

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具,支持个性化头像和创意图像生成,提供200多种风格选择。用户上传照片后,可快速生成符合需求的图像,适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护,界面友好,操作便捷,适合各类用户使用。

NotebookLM

一款基于Gemini 的AI笔记和研究助手,旨在帮助用户更高效地进行信息整理和思考。它利用Google Gemini来处理和分析用户上传的文档和信息源。

BFS

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