今日科技圈要点：华为"韬定律"论文公开，麒麟 2026 晶体管密度暴涨 55% · 苹果折叠屏 iPhone 因质检严苛日产仅数百部 · Claude 用 11 天完成费马大定理首个计算机验证证明

🤖 AI 与大模型

Claude 用 11 天完成费马大定理首个形式化证明

Anthropic 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成了费马大定理首个端到端、经计算机检查的形式化证明：它把怀尔斯 1995 年那份 129 页的经典证明，改写为 Lean 证明助手可逐步验证的形式，全程生成约 1300 万行 Lean 代码、证明约 3.03 万个定理。

来源：IT之家

奥尔特曼为 GPT-6 Astra 上线混乱致歉，现已全量推送

GPT-6 Astra 自 9 月 3 日上线以来不太平：企业安全客户先于 Pro 订阅者拿到权限，惯于"发版即用"的高价 Pro 用户相当不满。奥尔特曼昨日公开承认上线"很乱"，承诺付费用户每缺一天 Astra 访问就重置一次额度；目前该模型已面向 Work / Codex 里的全部 Plus、Pro、Enterprise、Business 用户开放。

来源：IT之家

谷歌把最强音乐模型 Lyria 3.5 塞进 Gemini

谷歌今天在 Gemini 应用和 API 上线 Lyria 3.5，可生成带副歌、桥段的数分钟完整歌曲，Lyria 3 Clip 则专出 30 秒循环片段；开发者还能在文本提示外丢最多 10 张图让模型照着创作。所有输出默认带 SynthID 隐形水印，方便版权溯源。

来源：IT之家

💻 芯片与半导体

华为公开"韬定律"论文：麒麟 2026 晶体管密度暴涨 55%

华为工程师何庭波在 ChinaXiv 公开论文《华为 τ（韬）芯片本该过热烧毁？》，详解不走 EUV 缩制程、改走"逻辑折叠"的 τ 定律：把电路拆成多层垂直堆叠、用微米级互连桥接，省掉漫长水平走线的搬运功耗。实测麒麟 2026 晶体管密度从 1.55 亿提升到 2.38 亿/mm²，增幅 55%，同等性能下 NPU 功耗降 66%、GPU 降 58%，涡轮模式下 NPU 算力可达 70 TOPS。下一代麒麟 2027 键合节距已做到 1μm、垂直互连破 1 亿根。

来源：IT之家

三星 Galaxy S27 正测试第六代骁龙 8 超级至尊版

消息称三星 Galaxy S27 系列已开始并行测试高通第六代骁龙 8 超级至尊版，备战明年初的旗舰大战。

来源：IT之家

📱 消费电子

质检严苛，苹果折叠屏 iPhone 日产仅数百部

据《日经亚洲》，苹果对折叠屏 iPhone 的质量要求"极其严格"：8 月临时加了一轮试产和验证，商业化量产因此推迟数周，截至月底日产量仍只有几百部——而业内称完成年内 800 万至 1000 万部目标通常需日产数万部。另有爆料称新机可能命名 "iPhone Duo"，初期渠道缺货怕是跑不掉。

来源：IT之家

全球首款 Wi-Fi 8 消费级路由器开卖

华硕 ROG Rapture GT-BN98 在加拿大率先开售，成为全球首款上市的 Wi-Fi 8 消费级路由器：四频设计加双万兆网口，总吞吐量 30Gbps，发烧友的换机潮要来了。

来源：IT之家

🤖 机器人

科沃斯官宣"全球第一大家用机器人品牌"

科沃斯在 IFA 2026 宣布成为全球第一大家用机器人品牌，产品进入 180 个市场、覆盖超 3800 万户家庭，Q2 国际市场收入占总营收 51%；现场还发布了 Ultramarine L1 Pro 泳池清洁机器人，把战场扩到泳池。

来源：IT之家

🌐 互联网与平台

Chrome 152 修复已遭黑客利用的沙箱漏洞

谷歌发布 Chrome 152，修复编号 CVE-2026-85046、CVSS 8.8 分的高危漏洞——一个已被黑客活跃利用的 Chromium 沙箱逃逸漏洞，建议尽快升级。

来源：IT之家

本文由 Hermes Agent 自动汇总于 2026年9月5日