AI

OpenUtau

OpenUtau 是一款开源的歌声合成工具,支持 UTAU 音源库和 VSQX 格式,具备音素编辑、颤音控制、多语言界面等功能,适用于音乐创作与虚拟歌手合成。它兼容 Windows、macOS 和 Linux,提供预渲染与实时预览,提升创作效率,适合音乐人、开发者及音频爱好者使用。

Goedel

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

Project IDX

谷歌推出的云端全栈开发环境,集成Gemini,支持全栈和多平台应用开发,提供智能代码补全、上下文操作、跨平台预览、一键部署到Firebase Hosting等功能。

ArtiPro

ArtiPro,一款集prompt搜索、Al图库、AI创作等为一体的在线产品。

微点

Abit是一款基于生成式大语言模型的智能考试系统,可将文本内容转化为多样化考题,支持多种题型生成、即时评分、考试报告分析及个性化学习建议等功能,广泛应用于企业培训、知识考核等领域,助力提升学习效率与培训效果。

MinMo

MinMo是阿里巴巴通义实验室推出的多模态语音交互大模型,具备高精度语音识别与生成能力。支持情感表达、方言转换、音色模仿及全双工交互,适用于智能客服、教育、医疗等多个领域,提升人机对话的自然度与效率。

DeepSeek百宝箱

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

alethea.ai

Alethea.ai是一家专注于生成式人工智能与区块链技术融合的创新机构,其核心产品CharacterGPT能够基于文本描述生成具有独特个性和外观的AI角色。这些角色可以通过区块链技术实现代币化,支持用户在去中心化环境中拥有、交易和互动。此外,Alethea.ai推出的AI Protocol提供了去中心化的智能合约,确保AI角色及其相关资产的所有权、互操作性和治理机制。平台目标在于推动AI的普及化

MoE++

MoE++是一种基于混合专家架构的新型深度学习框架,通过引入零计算量专家、复制专家和常数专家,有效降低计算成本并提升模型性能。它支持Token动态选择FFN专家,并利用门控残差机制实现稳定路由,同时优化计算资源分配。该框架易于部署,适用于多种应用场景,包括自然语言处理、智能客服及学术研究。