AI

Aicotravel

Aicotravel是一款利用人工智能技术的旅行规划平台,提供个性化行程设计、协作规划、互动地图等功能,帮助用户快速制定旅行计划,同时支持全球旅行内容探索,适用于个人、家庭、商务及情侣等多种场景。

SVG.IO

一个可以将文本提示转换为SVG图像(可缩放矢量图形)的AI在线生成工具

Kimi长文生成器

Kimi长文生成器是一款基于AI技术的长文本创作工具,支持生成长达20万字的内容,具备结构化写作、信息整合、多语言支持及格式规范等功能。它适用于学术研究、内容创作、法律咨询、编程开发等多个领域,可显著提升用户的写作效率和文本质量。

必火AI

必火AI是一款面向短视频创作的国产AI数字人工具,支持数字人形象生成、语音合成与视频制作等功能。用户上传3分钟真人视频即可生成高精度数字人形象,搭配丰富的音色库实现自然语音交互。平台提供多场景模板,适用于营销、教育、娱乐等多种用途,助力内容创作者高效生成高质量视频内容。

Z.ai

Z.ai 是智谱推出的 AI 模型体验平台,整合 GLM 系列的基座、推理和沉思模型,支持 HTML、SVG 等内容的可视化生成与预览。平台提供免费体验,适用于代码生成、问题解答、研究写作、内容创作及教育辅助等多种场景,具备高效、易用和多用途的特点。

驯鹿AI

专注于跨境电商市场的智能客服工具,驯鹿AI依托通用大语言模型技术,提供智能客服和销售机器人服务,支持多语言实时翻译和全球客户管理。

SellerPic

SellerPic是一款面向电商卖家的AI图像处理工具,能够将普通产品照片转化为高质量商业图片,优化细节并提升吸引力。支持一键生成多样化的模特图片、背景更换、批量处理及社交媒体适配等功能,有效提升产品展示效果与销售转化率,适用于多平台图片制作与品牌一致性维护。

BlessAI

BlessAI是一个平台,利用人工智能驱动的个性化消息和图片,提供免费的每日祝福、祷告和生日祝福。它提供工具,利用最新的人工智能技术轻松生成个性化消息。

BFS

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