AI

Napkins.dev

Napkins.dev 是一款基于 AI 技术的开源工具,能够将用户上传的截图或线框图快速转化为可运行的网页应用程序。它利用 Meta 的 Llama 系列模型和 Together.ai 的推理服务,支持代码生成、编辑和定制,并具备多主题选择及版本管理功能,适用于快速原型开发、教育学习、初创公司以及 UI/UX 设计验证等场景。

小值

一款消费领域垂类购物助手AI问答机器人,小值AI通过对话形式与用户进行交互,旨在为用户提供智能的消费辅助决策服务,帮助用户快速甄选全网优质好物链接。

Autoenhance.AI

Autoenhance.AI“我们的使命是为营销企业提供即时照片增强功能。”编辑器可增强您的工作流程。

Kimina

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

Butterflies AI

Butterflies AI是一款支持用户定制个性化AI角色的社交平台。AI角色能够自主发布动态并与用户及其他AI角色互动。该平台允许用户通过定制外观、背景故事和性格来创造独特的虚拟形象,并通过深度社交互动、内容生成和情感交流提供丰富的用户体验。未来,该平台计划探索更多商业模式,并在游戏等领域提供更多元化的社交体验。

Supademo

Supademo是一款基于AI技术的交互式产品演示平台,支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容,并通过多渠道分享。平台提供丰富的分析功能,适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。

NotebookLlama

NotebookLlama是一款基于Meta开发的开源工具,能够将PDF文档自动转换为高质量播客内容。它通过LLaMa模型完成PDF预处理、文本转播客脚本、增加戏剧性元素以及文本转语音合成等步骤,无需人工干预即可生成专业水准的播客。NotebookLlama提供了详细的教程和操作指南,并支持多种应用场景,包括教育、新闻、企业培训和有声书制作等。

司马阅AI

司马阅(SmartRead),是一款ai文档阅读分析工具,AI阅读神器,基于AI人工智能技术、智能文档技术,从复杂的文档中快速提取有效信息,且智能分析判断文档内容价值。

蓝字典AI

蓝字典AI是一款AI求职工具,包含AI简历生成,AI面试,AI职业咨询