「使用行为」共找到 1527 篇相关文章
如果你的大学不提供 Token，应该立即退学
本文站在学生角度探讨 AI 时代大学生学习问题。认为高校在 AI 教育上滞后，不提供 Token 不合理。强调学生应善用 AI，具备问题意识、判断力和品味，还给出了使用 AI 的具体建议。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
每周2亿年轻人用ChatGPT，却连高手的零头都没用出来
全球超2亿18 - 24岁年轻人用ChatGPT，高阶用户调用能力仅为超级用户1% - 10%。OpenAI推出三款教育插件，分别针对K - 12老师、大学老师和大学生，还搭建教育闭环，不过教学权仍在教师、学校和政府手中。
10.2k星！Firecrawl开源PDF解析神器，大幅降低OCR成本
处理PDF时，若全用OCR成本和延迟会增加，直接提取文本又易遇乱序、乱码等问题。Firecrawl开源的pdf - inspector工具能智能区分扫描版和文本版PDF，按需使用OCR，精准处理。
4.5k星星爆火！用图片压缩Fable 5上下文，成本大幅降低，终于用得起这个模型了
Fable 5在AI圈爆火，但使用成本比其他型号贵至少5倍。pxpipe项目把适合压缩的大段文本渲染成PNG图片，交给多模态模型读取，能大幅降低成本，还能增加上下文长度。
都说记忆是Agent标配，但MemSyco发现漏算了一件事
厦门大学与吉林大学的最新研究指出，随着大模型Agent具备长期记忆，虽成为“长期协作者”，但也出现Memory-Induced Sycophancy问题。为此提出MemSyco - Bench评测基准，经实验得出多项发现，指出Agent Memory关键瓶颈转变。
刚刚，Fable 5全球解禁！
美国商务部撤销对Anthropic旗下Fable 5、Mythos 5出口管制，禁令由商务部长Lutnick签字解除。Anthropic官宣明天恢复访问，这两款模型无需许可、审批即可全球使用，此前封禁让开发者陷入“戒断期”。
阿里重磅开源！Open Code Review：一周 5k star，为你的代码保驾护航
阿里开源 Open Code Review，它前身是内部 AI 代码评审助手，经大规模验证。该工具结合确定性工程与 Agent，解决通用 Agent 评审代码的问题，在准确率、效率等方面表现出色，还介绍了使用方法和评估方式。
AI 真的能帮你微信下单了！
微信支付发布「AI 专属卡」，WorkBuddy 率先接入。用户在 WorkBuddy 能让 AI 找外卖、选套餐、领券、下单及支付。介绍了使用步骤，还说明 AI 专属卡支付安全，绑定还有彩蛋。
这个Skill太香了！Karpathy说的AI写代码的毛病，直接治好
GitHub上的开源Skill andrej - karpathy - skills受Karpathy启发，能解决AI写代码的毛病。它将Karpathy洞察提炼成四条原则改造AI Agent行为，安装简单，可自定义，能约束Agent，让开发者关注关键判断。