标签： 大模型

一位独立开发者发布了一个名为 ProofRun 的开源工具，为 AI 编程代理生成本地验证凭证。它在 Hacker News 上公开后迅速引起讨论，核心指向大模型辅助编程时代一个被越来越多开发者关心的短板——代理做了什么、如何证明。

全球 AI 聊天机器人的网页访问份额在过去一年发生明显迁移：ChatGPT 从 76% 降至 54%，Gemini 从 6% 升至 28%，Claude 从 1% 升至 9%。这是网页入口的份额变化，不等于月活用户或收入变化，但反映出竞争格局正在松动。

一项新研究显示，当用户用更接近女性习惯的语言风格（如使用缓和语、附加问句等）向 AI 提问时，大模型会给出更短、更简单、更随意的回答——问题不在“你是谁”，而在“你怎么问”。这一发现对职场中大量依赖 AI 的沟通场景提出了新的公平性挑战。

Hacker News 上一条关于“科技大佬为何热衷发布 AI 宣言”的讨论引发热议，评论区迅速从调侃转向对 AI 对话本质、AI 陪伴关系以及成瘾风险的争论。值得关注的原因是：它折射出公众对大模型“从不反驳”的交互方式正在产生不安，而这一情绪可能影响 AI 产品的设计走向。