好的，这是过去几个小时内AI相关论坛帖子的摘要，主要分为以下几个类别：
模型与API讨论
- DeepSeek Prover V2: DeepSeek-Prover-V2-671B已上线Novita，并可在Hugging Face上体验。同时，有用户发帖表示在OpenRouter上使用DeepSeek Prover V2时遇到问题，可能尚未完全部署。
- Gemini: 有用户反映通过Open WebUI调用Gemini Studio的API时出现降智现象，无法正确分析联网搜索内容，甚至无法识别当前时间。但在Poe上测试表现良好。另有用户尝试用Gemini 2.5 Pro复刻L站Logo。
- Dify与大模型选择： 有Dify新手提问，在使用Dify时，支持文件读取的常用大模型是否只有Gemini。
工具与应用推荐
- ATrans： 一款AI翻译软件，可以替换系统翻译APP，支持OpenAI API和TTS，通过左右滑动切换动作，并可自动检测复制内容进行翻译。
- Cealer (Sheas Cealer 安卓端)： 开源SNI伪造工具，用于安卓平台，帮助用户直连被域名污染或SNI阻断的网站，支持谷歌、油管、脸书等网站。
- VisualGPT: 一款基于Excalidraw的AI流程图生成工具，可以将文本描述转换为流程图、脑图、时间线等多种图表，支持编辑和导出。
账号与服务交易
- 有用户求购Claude账号，180收50刀额度的账号。
- 有用户提供Claude和ChatGPT的代开服务。
其他讨论
- 海艺AI讲故事提示词改版： 有用户分享海艺AI的讲故事提示词，表示套用后输出为英文，翻译后使用。
- 腾讯AI歌词翻译： 有用户认为腾讯的AI歌词翻译质量提升显著，推测可能由DeepSeek提供支持。
- AI隐私： 有用户发起讨论，哪家AI对会话隐私保护的最好，根据用户协议来看，似乎Claude在这方面做得最好。
- Gemini Key池搭建： 讨论如何搭建高质量的Gemini Key池，用于团队内部服务，涉及多Key单IP和网络代理管理等问题。
政策相关
- 有帖子暗示网信办可能正在收紧对AI项目的监管。
希望以上摘要对您有所帮助！