AI

纸飞机AI

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

TheDream.ai

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

NotebookLM

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

BFS

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

Harvey

Harvey是一款基于GPT-4的法律AI平台,专为法律从业者设计,提供法律研究、文档分析、合同审查、文件起草及工作流自动化等功能。支持多司法管辖区应用,提升法律工作的效率与准确性,助力律师专注于高价值任务。

VirtualWife

VirtualWife 是一款基于人工智能技术开发的虚拟角色项目,集成了自然语言处理、语音识别与合成、机器学习等功能,支持跨平台运行和个性化定制。其主要应用场景包括个人陪伴、心理健康辅导、在线教育、客户服务、娱乐互动和直播带货,致力于为用户提供智能化、多样化的交互体验。

SkyCode天工智码

Sky-code 是 SingularityAI 研发的一款AI代码生成工具,支持各种主流编程语言,助力开发人员更快更好的编码。

XCole

XCole是一款集成了AI绘图、文本生成、翻译与代码辅助的多功能AI创作平台。它支持从图像生成到文本创作的多样化需求,并提供专业场景模板以满足不同领域的创作需求。XCole凭借其友好的用户界面和强大的功能,帮助用户提升工作效率,广泛应用于学术研究、内容创作、设计开发等多个场景。

REGRESSION GAMES

在游戏中与ai竞争,引入第一个全功能的AI、游戏和锦标赛平台。创建自己的ai并参与竞争!