AI

悬河AI

悬河基于人工智能大模型,构造出一个个有知识、有个性、有风格的AI数字人虚拟人智能体。

微点

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

StoryDiffusion

StoryDiffusion 是一种基于 AI 的图像和视频生成框架,通过 Consistent Self-Attention 和 Semantic Motion Predictor 技术,实现从文本到连贯图像和视频的转化,支持用户高效生成高质量视觉内容,广泛应用于动漫、教育、广告及影视等领域。

AITDK

AITDK是一款集成了多种AI驱动功能的工具平台,涵盖标题生成器、描述生成器、关键词生成器、特性生成器、常见问题解答生成器及用户评价生成器等模块,致力于帮助企业高效创建高质量、搜索引擎友好的内容,同时促进用户交互与品牌信任建设,广泛适用于网站优化、内容创作、产品推广及客户服务等多个领域。

Aishort

AIShort 提供一份简便的 ChatGPT 指令列表,可迅速筛选和查询适应各种场景的提示词,从而帮助用户精简操作过程,并提供了浏览器插件方便直接调用。

AniPortrait

AniPortrait是一款由腾讯开源的AI视频生成框架,通过音频和一张参考肖像图片生成高质量的动画。该框架包含两个核心模块:Audio2Lmk模块将音频转换为2D面部标记点,而Lmk2Video模块则基于这些标记点生成连贯且逼真的视频动画。AniPortrait以其高质量的视觉效果、时间一致性和灵活的编辑能力著称,能够精确捕捉面部表情和嘴唇动作。

EviMed

EviMed是一款基于人工智能的医学信息平台,整合全球七大权威医学数据库,提供多维度搜索、智能分析、科研选题、循证决策等功能。其依托深度学习与医学大模型,可快速生成精准医学知识总结,广泛应用于临床、科研、教育及公共卫生等领域,有效提升医学工作者的研究与决策效率。

Goedel

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

Text2CAD

Text2CAD 是一款基于人工智能的在线 CAD 设计工具,能够将自然语言描述快速转换为高精度的 CAD 模型。支持多种格式导出,具备快速设计、精准转换、易修改、云存储与协作等功能,适用于工业设计、教育、原型开发、VR/游戏设计及个性化定制等多个领域。平台提供不同版本的订阅服务,满足不同用户需求。

DeepSeek V3

DeepSeek V3是一款由幻方量化旗下的深度求索公司开源的AI模型,拥有6850亿参数,采用混合专家架构。它在多语言编程、长文本处理和对话交互方面表现出色,能够生成高质量代码、优化现有代码、协助调试、生成文本、分析文本、润色文本,并支持自然对话和多轮对话。此外,它在多个基准测试中表现出色,包括编程、数学、推理等领域。