AI

Macro PDF

Macro PDF 是一款面向学术、法律和金融领域的 AI PDF 工具,支持智能文档处理、术语解释、摘要生成、多语言翻译及交互式问答等功能。用户可通过高亮文本获取即时解释,实现高效阅读与分析。支持多种 AI 模型,具备高级编辑功能和跨平台兼容性,适用于合同审查、财务分析、文献研究等场景,提升工作效率与信息处理能力。

妙言妙语AI

妙言妙语AI,多模型集成,引领AI功能新潮,一站式解决你的创意与效率需求,妙言妙语AI它不仅仅是一个AI平台,更是一个集成了多种顶级大模型的集合体。

COVE

COVE是一款以AI驱动的协作工具,提供共享工作空间和实时编辑功能,支持用户与AI共同思考和工作。它能从用户的文本、表格、图像等内容中学习,提供个性化建议和多样化思路,同时无缝集成于常用工具,适用于项目管理、研究分析、内容创作、教育学习及会议记录等多个场景。

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型,采用强化学习技术,在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段,提升解题效率。在miniF2F基准测试中达到80.7%准确率,显著优于现有模型。具备高样本效率与良好可扩展性,适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

Ugic

Ugic是一款由即时设计开发的Figma AI设计插件,能够基于用户上传的组件库和设计系统,智能化地生成多语言UI草图。它支持文本到结构的转换,允许用户通过输入产品需求文档或描述文本快速生成页面布局,并具备个性化组件库选择和迭代设计功能,显著提高了设计效率。Ugic适用于设计师、跨国团队和产品经理,支持多种语言,是优化设计工作流的有力工具。

recurve

Recurve是一款基于人工智能的DataOps平台,旨在优化企业的数据集成、设计和BI性能流程。它支持300多种数据连接器,提供模块化数据设计、单一事实来源管理以及自动化监控功能,助力企业提升数据质量和治理标准,加速分析开发生命周期,为企业数据驱动决策提供支持。

braintrust

Braintrust 是一个端到端的 AI 工具平台,专注于通过迭代式的工作流帮助公司快速构建高效的 AI 应用。它提供了强大的提示调整、评分器配置及数据集管理功能,支持从模型评估到质量控制的全流程优化。此外,Braintrust 的直观界面和代码库集成特性使其适用于各类用户群体,广泛应用于 AI 产品开发、模型评估、质量控制及数据集构建等领域。

Hocoos AI

一款基于AI的无代码网站生成器,它通过AI驱动的模板和拖拽式编辑器,让用户无需编程技能即可在几分钟内搭建出个性化的网站或在线商店。

Melodio

Melodio是一款由昆仑万维开发的AI流媒体音乐应用程序,能够根据用户输入的提示实时生成个性化音乐。该应用程序支持多种语言,包括中文,并提供无限流式播放功能。用户可以在音乐播放过程中随时调整提示,享受连续不断的音乐体验。此外,Melodio还具有歌词查询、音乐保存和分享功能。其主要功能包括AI音乐生成、多语言支持、无限流式播放、实时音乐定制以及歌词查询和显示。

Heygem

Heygem是一款由硅基智能推出的开源数字人模型,支持Windows系统。它可通过1秒视频或照片快速生成数字人形象和声音,30秒内完成克隆,60秒合成4K视频。具备多语言支持、100%口型匹配、低配置运行等优势,适用于内容创作、教育、直播、影视及客服等多个领域,提供高效、低成本的数字人解决方案。