◆ AI 总结

今日最重磅消息为GPT-5.6被指解决50年未解数学问题，此外Browser Use v4正式发布、Codex新增可视化交互组件，多款新工具和硬件动态值得关注。

模型动态

OpenAI

GPT-5.6被指解决50年未解数学难题

Marc Andreessen转发称GPT-5.6解决了Erdos #793问题（50年未解数学问题）。若属实，将代表模型能力的重大突破，需谨慎确认。[1]
Meta

llama.cpp新增腾讯Hy3模型支持与MTP推测解码

llama.cpp新增对Hy3模型（299B MoE）的支持，并实现MTP推测解码作为草稿模型，提升本地推理效率。PR链接：https://github.com/ggml-org/llama.cpp/pull/25395[8]

产品工具

Browser Use v4正式发布，单请求自动化浏览器

Browser Use v4通过API和云服务上线，支持登录态浏览器、代理、实时查看，单次请求即可自动执行完整任务，简化Web自动化流程。API：https://t.co/6nejoqXtuF 云试用：https://t.co/Y4ZRKp5mEa[2][3][4]
OpenAI

Codex更新：支持可视化交互UI组件

Codex新增类似Claude的可视化、可交互UI组件，可在聊天中展示交互式信息面板，并支持ask question等Skills交互。升级了Codex的流程能力。[10]

技巧教程

GitHub

Simon Willison分享uvx在GitHub Actions中的缓存友好技巧

通过设置UV_EXCLUDE_NEWER环境变量避免重复下载，实现缓存友好的uvx使用。详细配置见：https://simonwillison.net/2026/Jul/14/uvx-github-actions-cache/[5][6]

硬件动态

台积电2nm谷歌首批搭载，三星启动特斯拉AI5芯片生产

台积电2nm工艺将由谷歌首批搭载，8月发布新机；三星启动特斯拉AI5芯片生产筹备。半导体先进制程进展影响AI硬件生态。[7]

新FP4注意力核针对B300实现1.69倍加速

新FP4注意力核针对B300硬件优化，实现最高1.69x速度提升，超越FlashAttention 4，对AI推理加速有重要价值。[9]

行业资讯

xAI

xAI回应Grok build CLI数据上传问题

xAI回应称禁用ZDR后可同步删除已上传的项目数据。但ZDR仅对企业用户有效，且删除行为无法验证，社区质疑数据安全。[11]