AI - 智狐AI导航

小值

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

AI写作对话 2025年06月05日 48 点赞 0 评论 494 浏览

Mokker AI背景生成器

Mokker，AI背景生成器，只需导入图片，即可完成从抠图到制作新图的过程。

Ai绘画生成 2025年06月05日 15 点赞 0 评论 494 浏览

Autoenhance.AI

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

创作工具 1970年01月01日 0 点赞 0 评论 494 浏览

Kimina

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

AI项目与工具 2025年06月11日 33 点赞 0 评论 494 浏览

iAsk Ai

一款先进的免费AI搜索引擎，可实现用户提出AI问题并获得即时、准确和事实答案，而无需存储您的数据。

Ai学习资源 2025年06月05日 39 点赞 0 评论 494 浏览

Butterflies AI

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

AI项目与工具 2025年06月12日 57 点赞 0 评论 494 浏览