AI

Talefy Ai

AI互动故事生成器,Talefy Ai能够帮助用户轻松创作各种类型的互动故事,将脑海中的故事具象化,并提供沉浸式的故事体验。

BforeAI

BforeAI是一款基于AI的预测性网络安全平台,利用先进技术主动识别并防范网络钓鱼、假冒域名及社交媒体冒名等威胁。它能够自动检测并移除恶意内容,帮助企业减少数据泄露和声誉损害风险,同时支持实时数据更新和API集成,适用于多种行业场景,包括银行、零售、社交媒体平台和政府机构等。

PaperYY

提供专业的论文重复率检测、论文降重、论文在线修改、论文格式规范等一站式服务

Mind GPT

Mind GPT-3o是一款由理想汽车推出的大规模多模态端到端人工智能模型,集成了语音、视觉与语言理解技术,具备记忆、规划、工具集成及表达能力。它不仅能理解复杂信息,还能提供个性化服务,如智能驾驶辅助、家居设备控制、日程管理和健康咨询等。通过强化逻辑推理与上下文理解,该模型实现了从感知到表达的智能化跨越,为用户提供全面的支持。

Playground AI

Playground AI 是一款流行的人工智能绘图和图像编辑工具,主要功能包括AI文本到图像生成、创意社区作品分享、提示词智能优化和图像到图像的转换。它提供灵活的创作模式,支持用户上传现有图片或草图生成全新的艺术作品。此外,Playground AI 还提供了一个UGC创作社区,用户可以在其中发现多种风格的图片,并借鉴提示词进行创作。Playground AI 提供了免费版和多个付费版本,以满足

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。

DeepSeek百宝箱

DeepSeek百宝箱是DeepSeek官方维护的GitHub项目,集成了多种支持DeepSeek API的工具和应用,涵盖聊天、知识管理、开发等多个领域。提供开箱即用、详实文档、本地化支持及多平台兼容性,助力开发者高效使用语言模型,提升工作效率。支持模型训练、部署、监控全流程,具备低代码配置、智能上下文感知、毫秒级响应等特性,适用于办公、编程、内容创作等多种场景。

codeAI

一款革命性的VS Code插件,为开发人员提供了基于人工智能的代码生成、单元测试创建和文档生成能力。

诗三百

AI写诗诗三百,人工智能在线诗歌写作平台,即在线作诗机,包含AI在线作诗机。

Aibiye

Aibiye是一款基于先进语言模型的AI论文辅助工具,支持从选题建议、结构生成到内容填充的全流程写作服务。用户可输入关键词、选择专业及字数,生成符合学术规范的论文初稿,支持中英文文献引用和图表插入,具备降重与改写功能,助力提升论文质量。