AI

Psi R0

Psi R0是一款基于强化学习的端到端具身模型,支持双灵巧手协同操作,具备多技能串联混训和跨物品、跨场景的泛化能力。通过仿真数据训练及技能优化,Psi R0能在复杂环境中完成长程任务,同时具备自主切换技能的功能,确保高成功率和鲁棒性。主要应用场景包括电商商品打包、工厂产线组装、服务业拣货打包及家居环境清洁整理。

MiniMax MCP Server

MiniMax MCP Server 是一款基于 MCP 协议的多模态生成服务器,支持视频、图像、语音及声音克隆等功能。其具备高分辨率输出、自然语音生成与声音克隆能力,兼容多种主流客户端。平台采用客户端-服务器架构,结合 RAG 技术提升响应准确性,适用于教学、游戏开发、内容创作等多个领域。

摆平AI论文

摆平AI论文是一款基于人工智能技术的学术写作工具,支持论文生成、降重润色、大纲创建等功能。用户可以根据需求选择专业和学历,输入题目后快速生成清晰结构的大纲和初稿,并通过智能续写功能完善内容。该工具还提供多种模板,适用于毕业论文、课程作业、开题报告等场景,助力高效完成学术写作任务。

Hour One

Hour One通过其AI驱动的视频平台,为企业提供了一个创新的内容创建和管理工具。它不仅能够提升内容的质量和吸引力,还能够通过虚拟形象增强企业与受众的互动,从而推动企业的增长...

One Shot, One Talk

One Shot, One Talk是一项由中国科学技术大学和香港理工大学研究者开发的图像生成技术,它可以从单张图片生成具有个性化细节的全身动态说话头像。该工具支持逼真的动画效果,包括自然的表情变化和生动的身体动作,同时具备对新姿势和表情的泛化能力。One Shot, One Talk结合了姿势引导的图像到视频扩散模型和3DGS-mesh混合头像表示技术,提供了精确的控制能力和高质量的重建效果。

Goedel

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

绘创Al

绘创AI图片修改配图能力,基于AI人工智能图片处理技术,支持多种格式图片,一键在线修改调整,修改图片,编辑图片,AI绘图可调整风格、画质、清晰度等,秒级场景AI智能合成。

魔力设

魔力设是一款集设计模板、版权素材和AI工具于一体的在线设计平台,支持海报、PPT、展板等多种设计类型。提供海量正版素材与在线编辑功能,结合AI智能抠图和PPT生成技术,提升设计效率。支持多格式导出,适用于商务、教育、营销及内容创作等多个场景。

CircleBack

CircleBack 是一款基于 AI 的会议记录工具,支持多语言转录与智能总结,能自动生成结构化笔记和行动项。其具备强大的口音识别能力,可与 Zoom、Google Meet、Microsoft Teams 等平台集成,适用于企业会议、远程协作、教育、客户服务及医疗等多个场景。此外,它还支持语义搜索和工作流自动化,提升会议管理效率。

alethea.ai

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