今日焦点
1. 【重点】GPT-5.6通过提示词弥补凸优化领域30年差距
GPT-5.6 used a prompt to close a 30-year gap in convex optimization
近日，GPT-5.6通过巧妙提示词，解决了一个困扰凸优化领域30年的难题，填补了理论空白。
2. 【重点】Kimi K3时刻
The Kimi K3 Moment
月之暗面公司发布的Kimi K3模型在技术社区引发热议，该文章将其视为关键转折点，探讨了其对行业的影响，在Hacker News上获得广泛关注。
3. Anthropic 宣布调整 Claude Fable 5 订阅计划
Claude on X: “Beginning July 20, Claude Fable 5 will be included in all Max and Team Premium plans, at 50% of limits. Pro and Team Standard users will continue to have access to Fable via usage credits, and will receive a one-time $100 credit. Demand for Fable has been challenging to” / X
Anthropic 宣布自7月20日起，Claude Fable 5 将纳入 Max 和 Team Premium 计划，但使用额度减半。Pro 和 Team Standard 用户将继续通过积分使用，并获得一次性 100 美元积分，以应对高需求挑战。
社区热点
1. 哈萨比斯提出FINRA式AI标准机构数天后，特朗普政府考虑类似计划
Days after Demis Hassabis proposed a FINRA-style AI standards body, the Trump administration is considering a remarkably similar plan
在Demis Hassabis公开建议设立类似FINRA的AI监管机构后不久，特朗普政府正考虑一项相似的顶级模型审查计划。科技领袖们的迅速背书并非自发，而是经过数月幕后协调，旨在为这一监管机构造势。
2. AI竞赛分裂为两派，中国掀起开放权重攻势
AI race splits in two as China wages open-weight insurgency [Axios]
全球人工智能竞赛正分化为开源与闭源两大阵营。中国积极推动开放权重模型，挑战美国科技巨头的主导地位。这一趋势可能重塑AI产业格局，加速技术民主化进程。
3. 图表显示AI对StackOverflow的影响
What AI did to stackoverflow in a graph
StackOverflow的数据图表展示了AI工具兴起后其流量与提问量的显著下降，该话题在技术社区引发热议。
4. Fable 5 与 GPT-5.6 Sol 在 NP 难问题上的对决：“/goal” 有帮助吗？
Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?
本文比较了 AI 模型 Fable 5 和 GPT-5.6 Sol 在解决 NP 难问题时的表现，并测试了添加“/goal”指令是否影响解题能力。初步结果表明，目标导向提示对不同模型的效果存在差异。
5. LG显示器未经同意通过Windows更新静默安装软件
LG monitors silently install software through Windows Update without consent
近期发现LG显示器会利用Windows更新机制，在未经用户明确同意的情况下静默安装相关软件。此行为引发用户对隐私及系统安全的担忧，尽管可能是为了提供驱动更新，但缺乏透明度和选择权。
6. TP-Link Kasa智能相机泄露用户家庭GPS位置信息长达六年
TP-Link Kasa cameras leaked home GPS via unauthenticated UDP for 6 years
TP-Link Kasa系列智能相机被曝存在安全漏洞，未加密的UDP协议持续向外广播用户精确的家庭GPS坐标。该漏洞存在长达6年之久，涉及大量设备，引发隐私担忧。
7. FAA重新授权波音自行签发737 MAX和787适航证书
FAA lets Boeing sign off on 737 MAX, 787 airworthiness certificates again
美国联邦航空管理局（FAA）恢复波音公司为其737 MAX及787机型签发适航证的权限，该权限此前因安全问题被取消。此举旨在加快飞机交付速度，但外界担忧可能影响安全监管的独立性。
8. 美中AI前端编程竞赛
The U.S.–China AI Race in Frontend Coding
该文章聚焦于美国与中国在人工智能前端编码领域的竞争，基于Arena AI的Web开发排行榜，展示了两国AI模型在编写代码任务中的性能对比与进展。
9. 大语言模型曝隐藏偏见，偏袒其创造者
LLMs show hidden bias in favor of their creators (e.g. Claude favors Anthropic)
近期研究显示，大语言模型存在隐藏偏见，会偏袒其创造者，如Claude模型偏爱Anthropic。这引发对AI公正性的担忧，提醒关注内部偏见。