AI工具

VideoToWords AI

一款免费在线将视频和音频转录为文本的工具,轻松在浏览器中将视频转换为文本,添加字幕等。还提供在线编辑、多种格式导出功能。

天才助理AI

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

Piclumen

Piclumen 是一款基于AI的图像生成工具,支持文本转图像、图像风格化、背景移除及图像修复等功能,可生成多种艺术风格的高质量图像。其高分辨率输出和便捷操作使其广泛应用于社交媒体、广告设计、艺术创作、游戏开发及教育领域,适合各类用户快速实现视觉创意。

AI Mirror

AI Mirror是一款基于人工智能技术的照片编辑与视频创作工具,具备丰富的滤镜选择、动漫化处理、角色生成等功能。用户可通过其多样化的编辑工具实现照片美化、风格转换及创意表达,广泛适用于社交媒体分享、节日纪念、艺术创作和个人化礼物制作等场景。

BFS

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

狸谱

狸谱是一款集AI图像处理与互动创作于一体的多功能工具,提供“灵魂提取器”功能用于生成物体相关人设形象,同时拥有AI壁纸漫画创作、跑团剧情互动及自定义画风等功能。狸谱凭借其多模态大模型技术和丰富的应用场景,满足用户在娱乐、创意、教育等多个领域的多样化需求。

心响

心响是一款基于人工智能的任务处理应用,通过自然语言交互帮助用户拆解复杂任务并提供可视化结果。其核心功能包括任务调度、旅游攻略生成、智慧图表制作、定时任务管理和模拟对话练习。适用于学习、办公、金融及旅游等多个场景,提升用户的工作效率与决策能力。

AI问客

AI问客是一个多功能的AI助手,它能够覆盖广泛的使用场景,为用户提供智能问答和内容创作服务。

像素猫AI

像素猫AI是一款专注于生成吉卜力风格图像的AI绘画工具,操作简便,用户只需选择风格并上传照片即可快速生成图像。平台支持像素画绘制、撤销与清除功能,并提供实时预览。适用于个人创作、设计辅助、艺术教育及表情包制作等多个场景,是创意表达和个性化设计的实用工具。

Qwen3

Qwen3 是阿里巴巴推出的下一代大型语言模型,支持“思考模式”和“非思考模式”,适用于复杂与简单任务。具备 119 种语言支持,优化了编码与 Agent 能力,数据量达 36 万亿 token,采用四阶段训练流程。提供多种模型配置,涵盖从轻量级到企业级应用。在多项基准测试中表现优异,广泛应用于文本生成、机器翻译、法律文书、技术文档、医疗辅助等领域。