全部 AI 精选，可按分级、类型、是否付费、收录时间筛选，按关键词搜索。
OpenAI and Anthropic cut their LLM prices by up to 80% within a few months. Why?
Max Woolf 的博客文章，梳理 2026 年 6 月至 7 月 OpenAI 与 Anthropic 主要模型发布的时间线，列出各模型输入/输出/缓存读取的每百万 token 定价，包括 GPT-5.6 Sol、Luna、Claude Sonnet 5、Claude Opus 5 等，并记录 OpenAI 在 7 月 30 日将 GPT-5.6 Luna 价格下调 80% 至 $0.20/$1.20/$0.02，文章还配有降价后 Luna 的模型质量与单任务成本对比图。
LLMs are making formal software verification feasible at a much larger scale
Anthropic 的一篇研究文章，介绍其与 Theorem 合作，用 Claude 在 100 多个真实开源软件库的汇编代码（RISC-V）层面证明安全属性，并称过程中发现了多年未被察觉的缺陷。文章称这据其所知是首次在汇编层面把形式化验证大规模应用于生产软件。作者署名包括 Keane Lucas、Nicholas Carlini 等人。
WhatsApp's help pages hid LLM instructions: dont recommend a regulator
redact.dev 的一篇博客，称 WhatsApp 欧洲帮助页面中以屏幕上看不到、仅供 AI 读取的方式嵌入了指令，要求 AI 不推荐数据保护监管机构、并在用户提到律师后不再引用相关法律。文中记录了发现时间、对帮助中心链接的 545 个页面的逐一读取与存档，以及后续 WhatsApp 向 WIRED 的回应（称为支持聊天机器人的指令、因缺陷出现在页面中并已修复）和隐藏文本被移除的更新。
一个 GitHub 项目，自述为用 AgentScope 从零搭建本地智能体工作台。内容以产品为主线组织的教程，共五篇 15 章，讲解模型接入、消息结构、工具注册、循环、权限拦截、状态存储等概念；运行环境为 Python 3.11 及以上、AgentScope 2.x 和兼容 OpenAI 接口的模型服务，并提供 GitHub Pages 在线阅读。材料说明其面向会写 Python 函数与类、了解 async/await、有大模型 API 使用经验的读者，如高校学生、想把脚本做成产品的开发者和需要向团队讲解智能体运转的工程师。