运行日志现在显示缓存原因，帮助解释请求为何未命中新缓存，例如基于时间或标签的重新验证。使用缓存原因可以调试未命中情况并提高命中率，适用于任何CDN可缓存的响应，包括ISR和部分预渲染。动态渲染的响应没有缓存原因。可以在Vercel日志中查看请求的缓存原因和状态，以分析和优化缓存性能。

OpenAI的大语言模型在国际数学奥林匹克竞赛中获金牌，超越了专为数学设计的AlphaProof模型。OpenAI模型通过自然语言思考，灵活应对问题，强调了数学发现过程中的直觉和探索能力。竞赛考验的是发现能力，而非证明的严谨性。

本文探讨了政策蒸馏中教师模型的选择及其对学生模型的影响。研究表明，蒸馏指导在错误推理链上的对齐度高于理想信号，最佳蒸馏效果依赖于学生模型的能力和目标任务。提出了一种无训练的诊断框架，以提升蒸馏效果，并建议进行逐任务、逐标记的分析。

豆包和千问于7月15日同时下架旧智能体，原因不仅是国家禁令，还为了迎接新一代智能体。新规限制虚拟情感互动，强调不得诱导用户情感依赖。大公司在转型中面临内部政治和团队利益的挑战，最终选择在政策出台后进行调整。

Discord因系统故障错误封禁了超过8000个用户，这些用户因发布棋盘、游戏纹理等无害图片而被禁。Discord联合创始人表示，所有受影响的账户已被解封。故障导致安全系统错误识别内容，未能及时解除封禁。

Linux基金会确认因配置错误导致内核归档文件被删除，目前正在恢复数据。近期发布的内核文件已可重新下载，但其他存档文件的恢复需要时间。

Shopify推出了名为Catalog的新系统，利用大型语言模型（LLMs）组织商家产品数据，帮助AI购物助手识别和比较产品。该系统通过将相关产品归类，解决了不同商家对同一产品的不同列表问题，以便更好地与AI代理互动。

出海社交产品在Google Play和App Store审核中常因内容合规问题被拒，主要原因包括缺乏用户生成内容的审核机制、年龄分级不当和隐私政策不完整。审核前需准备举报功能、隐私政策及多语言审核能力，以确保流程规范，避免上线延误。

文章讨论了AI编码代理如何简化代码编写，但也使生产环境中的安全性变得更加复杂。生产故障主要源于系统间的相互作用，而不仅仅是代码本身。Traversal是一种AI驱动的自主SRE，旨在处理复杂软件系统的故障排查和预防。

Bose成立了Bose Studios，旨在进入音乐和媒体行业，推出唱片公司、电影制作和播客网络。尽管目标是支持新艺术家，但缺乏明确的焦点和成功经验，可能面临失败风险。Bose的优势主要在于市场营销，而非艺术发现。

云南的兰茂牛肝菌食用后可导致幻觉，表现为看到小人跳舞。科学家对其基因组进行测序，发现其致幻机制与已知致幻物质无关，可能存在未知的生化合成途径。历史上有类似现象的记录，但食用未熟的蘑菇极具危险性，可能导致严重后果。科学界仍在探索其致幻机制。