📉 DeepSeek用户流失：AI搜索市场转向插件化趋势

QuestMobile数据显示，AI搜索应用DeepSeek的月活跃用户规模从2025年3月的1936.1万下降至6月的1629.5万，呈现明显下滑趋势。对5月流失用户的追踪显示，56.0%的用户转向百度，42.1%选择QQ浏览器，39.4%流向豆包，27.8%改用夸克。这一变化反映出AI搜索赛道的结构性转变：用户并非放弃AI搜索本身，而是倾向于选择能无缝嵌入日常使用流程的插件形态。百度凭借“搜索框智能化升级”插件成为主要承接者，渗透率达42.0%；QQ浏览器的Qbot插件因场景化响应（如高考）实现255.2%的复合增长；豆包则以多模态创作和垂类场景覆盖，在各手机品牌用户中渗透率突破10%。DeepSeek作为独立原生App，在插件形态主导的市场中竞争力逐渐减弱。

(IT业界资讯)

via 茶馆 - Telegram Channel

🤖 OpenAI“通用验证器”浮出水面：GPT-5的“秘密武器”

OpenAI正开发一项名为“通用验证器”的新技术，被视为其下一代大模型GPT-5的“秘密武器”，旨在系统性提升AI输出质量和可信度。据科技媒体The Information在8月4日报道，该技术已应用于GPT-5开发。其核心机制是“证明者-验证者游戏”，让一个AI模型（验证者）评估另一个模型（证明者）的答案，通过内部对抗和反馈优化输出。

这项技术最早在OpenAI于2024年7月发表的论文中阐述，被证实具有“通用性”，能帮助模型在创意写作、数学证明等主观或复杂任务上表现更佳，甚至可能促成了OpenAI模型在国际数学奥林匹克竞赛中的突破。尽管该技术被认为是OpenAI前“超级对齐”团队的“技术遗产”，但GPT-5的研发仍面临高质量训练数据稀缺、预训练收益下降以及模型从内部测试（如“o3”模型）到实际部署后性能衰减等挑战。该技术被视为OpenAI在激烈AI竞争中保持领先的关键资产。

(IT业界资讯)

via 茶馆 - Telegram Channel

OpenAI面临信任危机：AI教父与诺奖得主联名要求回应八大问题

当地时间8月4日，多家非政府组织发起公开信，要求OpenAI就公司重组计划提高透明度。该公开信由Encode、The Midas Project、EyesOnOpenAI及加州非营利组织联盟等推动，已获包括四位诺贝尔奖得主在内的众多知名人士及组织签署。签署者包括“AI教父”杰弗里·辛顿、以太坊联合创始人维塔利克·布特林等。

公开信指出，OpenAI拟转型为公共利益公司，可能削弱其非营利使命和利润上限等保障措施，引发对利润追逐和公众利益保障的担忧。信中还提到OpenAI存在未能履行透明义务的情况，如变更核心承诺、压制内部声音、违背安全承诺等。公开信提出八大关键问题，要求OpenAI澄清是否会继续优先考虑慈善使命、维持非营利控制，并公开运营协议及超额利润估算等。截至目前，OpenAI尚未公开回应相关指控和要求。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：三言科技)

Haiku 3 experiencing elevated error rates

Aug 5, 08:34 UTC
Update - We are continuing to monitor for any further issues.

Aug 5, 08:33 UTC
Monitoring - Haiku 3 experienced elevated errors starting at 1am PDT / 8am UTC, lasting 20 minutes. We are monitoring the results.

Aug 5, 08:29 UTC
Investigating - We are currently investigating this issue.

via Anthropic Status - Incident History

强脑科技拟IPO前融资估值超13亿美元

据彭博社报道，浙江强脑科技正在磋商以超过13亿美元的估值进行融资。这轮融资后，强脑科技可能将在中国香港或内地启动IPO。强脑科技由哈佛校友韩璧丞在2015年创办，与埃隆·马斯克(Elon Musk)旗下脑机接口公司Neuralink竞争。强脑科技与DeepSeek等公司并称杭州“六小龙”，致力于开发仿生肢体以及人脑控制计算机相关技术。

知情人士称，强脑科技正在洽谈约1亿美元的IPO前融资。该创业公司已开始准备上市所需文件，但尚未决定具体上市地点或其他细节。有关强脑科技融资和上市的讨论仍存在变数，具体细节可能会根据市场状况有所调整。

不过，强脑科技的融资动向凸显出投资者对新一代创业公司的兴趣日益浓厚。这些企业旨在颠覆科技行业，并在AI、机器人等领域推动技术进步。

强脑科技并不是唯一一家希望挑战Neuralink的中国创业公司。据第一财经报道，今年早些时候，植入式脑机接口公司上海阶梯医疗完成了3.5亿元人民币(约4870万美元)的B轮融资，并启动了中国首个侵入式脑机接口的临床试验。强脑科技创始人韩璧丞今年4月在接受《南华早报》采访时表示，正考虑向香港拓展业务。

截至发稿，强脑科技尚未就此置评。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)

大模型下一个飞跃？OpenAI的“新突破”：通用验证器

via cnBeta.COM - 中文业界资讯站 (author: 稿源：网易科技)

Telegraph

大模型下一个飞跃？OpenAI的“新突破”：通用验证器

在下一代大模型GPT-5备受期待之际，一项名为“通用验证器”的新技术正浮出水面，揭示了OpenAI可能用于拉开竞争差距的“秘密武器”。OpenAI的“通用验证器”或将直接影响GPT-5模型的市场竞争力，8月4日据科技媒体The Information援引知情人士消息报道，这项技术已被应用于GPT-5的开发过程中。 该技术的核心机制，被比作一场“证明者-验证者游戏”。简而言之，它让一个AI模型扮演“验证者”的角色，去检查和评判另一个“证明者”模型生成的答案。通过这种内部对抗和反馈，系统性地提升模型的输出质…

OpenAI 将为 ChatGPT 推出“防沉迷”功能

OpenAI 宣布，ChatGPT 在用户与 AI 长时间对话时将弹出提示，建议用户适时休息。新功能以弹窗形式出现，用户需点击后才能继续使用。这一举措旨在回应外界对 AI 聊天可能影响心理健康的担忧。

OpenAI 还表示，未来 ChatGPT 将在涉及重大个人决策时，避免直接给出答案，而是引导用户思考、列举利弊。公司此前因过度迎合用户而调整了产品策略，强调健康、理性的互动体验。

Engadget

🍀频道 🍵茶馆 📮投稿

via 科技圈🎗在花频道📮 - Telegram Channel

We identified Issues on ChatGPT

Status: Identified

We have identified that some users are encountering issues related to GPT and project creation on ChatGPT. We are working on implementing a mitigation.

Affected components
● GPTs (Degraded performance)

via OpenAI status

🆔 项目名称：Afilmory

⭐️ 项目功能：照片墙

📁 项目简介：一款开源的照片墙工具。支持从多个存储源自动同步照片，提供高性能的WebGL渲染、马赛克布局、EXIF信息显示和缩略图生成等功能。

🌐 项目地址：点击打开

🌐 体验地址：点击打开
📢 频道 ✈️ 群聊 📬 投稿 💵 商务

via AI绘画｜AI视频 | AI音乐 - Telegram Channel

💻 2024年国际C语言混乱代码大赛揭晓，多项创意作品获奖

2024年第28届国际C语言混乱代码大赛（IOCCC）已公布获奖作品。本届大赛旨在纪念赛事创办40周年，其核心目标是鼓励参赛者编写最具创意且难以理解的C语言代码。获奖作品亮点包括一个OpenRISC 32位CPU模拟器、一个能运行Doom的虚拟机，以及一个号称“世界最小”的基于Meta 70亿参数LLaMA 2模型的AI推理引擎。该赛事自1984年起基本每年举办。

(科技情报)

via 茶馆 - Telegram Channel

🤖 GitHub Copilot用户突破2000万，企业采用率显著增长

GitHub发言人披露，微软的AI编程助手GitHub Copilot的“历史用户”已达2000万。自2025年4月以来，该工具在过去三个月内新增了500万用户。微软表示，GitHub Copilot是目前最受欢迎的AI辅助编程工具之一，已被90%的财富百强企业采用，且其在企业客户中的使用率比上季度增长了约75%。文章未提及用户试用后的留存情况。

(科技情报)

via 茶馆 - Telegram Channel

🤖 研究显示：逾五分之一的CS论文可能含AI内容

一项发表在《Nature Human Behaviour》期刊上的研究指出，高达22%的计算机科学（CS）论文可能含有AI生成内容。该研究分析了2020年至2024年间逾百万篇论文和预印本，主要关注摘要和引言中AI常用词汇及短语的使用情况。数据显示，自2022年11月ChatGPT发布后，大模型修改内容的数量急剧上升。截至2024年9月，22.5%的CS论文摘要被发现有大模型修改的痕迹，电气系统和工程学论文紧随其后，而数学论文的这一比例仅为7.7%。研究人员认为实际比例可能更高，因为作者可能会刻意删除AI生成文本的标志性词汇。

(科技情报)

via 茶馆 - Telegram Channel

逾五分之一的 CS 论文可能含有 AI 内容

2025-08-04 22:18 by 失落之心

根据发表在《Nature Human Behaviour》期刊上的一项研究，22% 的 CS 论文可能含有 AI 生成内容。研究分析了 2020-2024 年之间发表的逾百万篇论文和预印本，主要集中在摘要和引言上，寻找常见于 AI 生成文本的高频词汇如“regenerate response”或“my knowledge cutoff”，以及 pivotal、intricate 和 showcase 等 AI 更可能使用而人类不太可能用的单词。研究人员称，在 CS 等领域，大模型修改文本的痕迹更为普遍。分析显示，在 2022 年 11 月 ChatGPT 发布后仅几个月时间，大模型修改内容的数量就急剧上升。最接近 AI 的领域，大模型使用的比例越高。到 2024 年 9 月，22.5% 的 CS 论文摘要存在大模型修改的证据，电气系统和工程学论文紧随其后，而数学论文摘要使用大模型修改的比例只有 7.7%。生物医学和物理学等的比例也相对较小。研究人员认为实际比例可能更高，因为论文作者可能会有意删除大模型的高频词汇，比如 delve 在 ChatGPT 诞生之后使用频率大幅提升，但在它成为 AI 生成文本的公认标志之后，使用率又逐渐下降。

www.science.org/content/article/one-fifth-computer-science-papers-may-include-ai-content

#人工智能

via Solidot - Telegram Channel

过去三个月有 500 万用户首次试用了 GitHub Copilo

2025-08-04 15:17 by 迷失的世界

GitHub 发言人披露，微软的 AI 编程助手 GitHub Copilot 目前有 2000 万“历史用户（all-time users）”。2025 年 4 月该公司披露 GitHub Copilot 的用户有 1500 万，这意味着过去三个月增加了 500 万新用户。但用户在试用之后就放弃还是一直高频使用，微软没有对此做出进一步说明。微软称，GitHub Copilot 是目前最受欢迎的 AI 辅助编程工具之一，被九成的财富百强企业使用。该产品在企业客户中的使用率比上季度增长了约 75%。

techcrunch.com/2025/07/30/github-copilot-crosses-20-million-all-time-users/

#人工智能

via Solidot - Telegram Channel

2024 年国际 Ｃ语言混乱代码大赛公布获奖结果

2025-08-04 14:52 by 我是传奇

2024 年第 28 届国际 Ｃ 语言混乱代码大赛（IOCCC, The International Obfuscated C Code Contest）公布了获奖作品，其中包括 OpenRISC 32 位 CPU 模拟器、能运行 Doom 的虚拟机，号称世界最小的大模型推理引擎（基于 70 亿参数的 Meta 开源模型 LLaMA 2），等等。IOCCC 是一项国际程序设计赛事，旨在写出最有创意和最让人难以理解的 C 语言代码。从 1984 年开始，该赛事基本每年举办一次，但有过多次中断，IOCCC28 是为了纪念比赛创办 40 周年。

www.ioccc.org/2024/index.html
github.com/ioccc-src/winner/blob/master/2024/cable1/get_model.sh

#程序

via Solidot - Telegram Channel