最新科技资讯 第3页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 3 页精选文章。
Microsoft Build 背后，那只入水捕食的鹈鹕
2026 年 6 月 2 日，Simon Willison 在旧金山 Fort Mason 参加 Microsoft Build 时，顺手发布了一条 iNaturalist 观察：会场背后有加州褐鹈鹕入水捕食。这不是 AI 发布会新闻，反而提醒我们：科技叙事常常太急着解释世界，以至于忘了世界本身还在那里。
国际数学联盟给AI划线：数学不怕机器证明，怕论文系统先被灌满
16名数学专家发布《莱顿人工智能与数学宣言》，国际数学联盟已背书，并开放全球个人和机构签署。宣言的重点不是禁用AI，而是要求数学界在AI进入证明、论文、猜想生成之前，先把审稿、署名、披露和伦理边界说清楚。
美国法院暂时挡下 NCAR 超算转移：科研基础设施不能先定结论再走程序
科罗拉多联邦法官 Brooke Jackson 发布初步禁令，暂停 NSF 将 NCAR/UCAR 管理的怀俄明超级计算中心转交其他运营方的计划。关键不在于 NCAR 已被保住，而在于法院认为政府似乎先形成实质决定、再补公众意见程序，可能构成《行政程序法》下“任意和反复无常”的行政行为。
尼安德特人的犀牛牙“锤子”：真正重要的不是猎奇，是保存偏差
一项实验考古研究用18颗现代白犀牛牙做复现实验，发现敲击、修整石器留下的浅坑、重叠裂纹和浅划痕，与多个尼安德特遗址中的犀牛牙痕迹高度相似。结论还不能写成“尼安德特人普遍使用犀牛牙锤”，但它强烈支持一种更稳的解释：犀牛牙可能进入过他们的日常工具链。真正值得盯住的，不是牙齿有多猎奇，而是石器之外那些更容易消失的材料，长期被我们低估了。
Ring“熟人脸”遭起诉：门铃主人点了同意，路人也算同意吗？
一名弗吉尼亚用户在华盛顿西区联邦法院起诉 Amazon 旗下 Ring，称 Familiar Faces 功能会扫描访客和路人面部，生成可再次识别个人的 face print。这个功能并非默认开启，需要用户主动启用，最多可建立 50 张熟人脸目录；争议在于，摄像头主人的同意能不能覆盖被动入镜者。相关内容目前仍是原告诉称，法院尚未认定 Ring 违法，Amazon 对 Ars Technica 拒绝评论。
《Control Resonant》定档 2026 年 9 月 24 日：Remedy 这次把视角交给 Dylan
Remedy 在 2026 年 6 月 PlayStation State of Play 新预告中确认，《Control Resonant》将于 2026 年 9 月 24 日发售，并已开启预购。更该盯住的变化是：Dylan Faden 成为唯一可操作角色，Jesse Faden 仍会影响故事走向，但不再是玩家手里的主角。对系列玩家来说，现在最该判断的不是买哪一版，而是能不能接受续作把叙事入口从 Jesse 换到 Dylan。
《God of War Laufey》公布：奎托斯退后，索尼在拿王牌 IP 试刀
索尼在 2026 年 6 月 State of Play 压轴公布《God of War Laufey》，由 Santa Monica Studio 开发，登陆 PS5，暂无发售日。玩家这次操控 Faye / Laufey，而不是奎托斯，玩法观感也从厚重近战转向空中机动与魔法。真正的看点不是主角性别，而是《战神》离开奎托斯那套暴力手感后，还能不能撑住自己的招牌。
Gleam v1.17.0：没有语言革命，但补上了 CLI 分发这块短板
Gleam v1.17.0 的核心新增是 `gleam export escript`：BEAM 后端项目可以打包成单文件命令行程序，但目标机器仍需安装 Erlang。更大的信号是，Gleam 这版没有追逐新叙事，而是在补工具链、IDE、编译提示和安全校验。对 Gleam/BEAM 开发者、CLI 和内部工具作者来说，这次更新会直接降低分发摩擦；对观望团队来说，它还不是迁移理由，但增加了信任分。
Lumafield 扫描比亚迪零部件：真正有价值的是工程证据，不是制造业叙事
Lumafield 发布题为《Inside BYD: CT Scans of the EV You Can't Buy in America》的文章，指向用工业 CT 解析比亚迪电动车及零部件，但当前可抓取正文混入大量无人机产业内容，关键技术材料不完整。更稳妥的判断是：这类扫描能帮助外界观察比亚迪零部件的内部结构、装配和潜在缺陷，但不能直接推出整车质量、安全性或成本优势。
《金刚狼》终于见血了，但索尼真正要证明的是 PS5 还剩多少独占硬货
索尼在 2026 年 6 月 State of Play 放出《Marvel’s Wolverine》约 7 分钟 PS5 实机演示，并确认 9 月 15 日发售、PS5 独占。新信息把这款游戏从漫威 Logo 和长期画饼，推进到动作手感、暴力尺度和独占价值的现实检验期。我的判断很简单：金刚狼不能做成《蜘蛛侠》的阴暗版，索尼也不能只靠一个 IP 给 PS5 续命。
微软开源 ASSERT：AI 代理进了流程，就得按制度测试
微软发布开源框架 ASSERT，可把自然语言写成的 AI 行为规则、政策和目标转成测试用例，用来评估具体 AI 应用是否按预期行动。它补的不是通用模型榜单，而是企业最头疼的空白：AI 接上邮件、文档、接口和权限后，会不会越权、泄密、乱调用工具。真正要观察的变量，是这类行为测试能否进入日常开发和回归流程，而不是停在上线前的合规表演。
Uber给AI编程代理设1500美元上限：热情还在，账本来了
Uber把Cursor、Claude Code等代理式AI编程工具的token支出限制在每名员工、每个工具每月1500美元。这不是停用AI，而是企业开始把AI编程从试验福利拉回采购、预算和ROI审查。真正的压力会落到工程负责人和AI工具厂商身上：前者要管账，后者要证明自己值这个价。
ORDS 开放维修数据标准：把社区维修从个案变成可比较样本
Open Repair Alliance 维护的 ORDS，面向小型电器和电子产品的社区维修数据；公开版本为 2021 年 12 月发布的 v0.3。它的价值不在单条维修记录，而在统一字段后比较产品故障、维修结果和维修障碍。它不是强制行业标准，也不是全球维修业完整数据库，使用时要守住样本边界。
用了 16 年的 Gmail，被默认 AI 推到了门口
一位使用 Gmail 16 年的用户，因为网页端反复出现未请求的 AI 摘要、预填回复、“Help me write”和“Tab to improve”，开始迁移到自有域名邮箱并试用 Fastmail。争议不在 AI 写作助手有没有用，而在它从可选工具变成默认打扰。对重度邮箱用户来说，真正要看的不是要不要立刻搬家，而是 Gmail 能不能把 AI 边界还给用户。
微软 MAI 新模型：5B 进 Copilot，35B 打推理，真正的牌是成本和授权数据
微软发布 MAI-Thinking-1 和 MAI-Code-1-Flash：一个 35B 推理模型，一个 5B 编程模型，后者正进入 VS Code 里的 GitHub Copilot。重点不是微软又造了两个模型名，而是它把 AI 产品竞争拉回到三个硬变量：推理成本、默认入口、训练数据授权。
长征十二号乙首飞入轨：中国可复用火箭竞赛换了主角
长征十二号乙周一在酒泉首飞成功，把千帆低轨宽带卫星送入轨道，但没有进行一级回收。更关键的变化是，中国可复用火箭竞争正在从民营公司先行试跑，转向国有航天体系凭工程组织能力加速追赶 Falcon 9 路线。
Neo Geo 不是跑不动《Doom》，而是缺一条把画面画出来的路
Ars Technica 援引 Modern Vintage Gamer 的分析称，Neo Geo 原生移植《Doom》在功能上近乎不可行。问题不在 Neo Geo 2D 性能弱，而在它的精灵/卡带取图架构不适合《Doom》所需的纹理采样、逐像素绘制和复杂 3D 场景输出。对复古开发者来说，真正的选择不是硬优化，而是简化玩法、做视觉近似，或接受额外卡带硬件。
《羊毛战记》第三季定档2026年7月3日：新预告把谜底拉回灾难前
Apple TV发布《羊毛战记》第三季正式预告，确认新季2026年7月3日首播，每周五更新至9月4日。第三季的重点不是单个角色遇险，而是把Juliette失忆、18号筒仓失控和灾难前时间线并行推进。剧集已续订第四季并确定完结，第三季会直接决定这套谜团能否收得住。
Wonderboom 4 蓝色款降到 51.5 美元：便携音箱最硬的参数，还是价格
UE Wonderboom 4 蓝色款在 Amazon 降到 51.49 美元，Walmart 和 Best Buy 为 51.99 美元，低于 79.99 美元原价约 28 美元。最低价主要限蓝色款，其他颜色多在 69.99 美元附近，别误读成全色系跳水。对想买户外小音箱的人，这笔折扣比新功能更有意义：防水、防尘、可漂浮、续航够，价格也砍到位了。
微软 Majorana 2 把量子计算目标推到 2029 年，关键不是口号，是验证
微软发布第二代拓扑量子芯片 Majorana 2，称量子比特寿命从 Majorana 1 的 1 到 12 毫秒提升到 20 秒以上，部分超过 1 分钟，并把可扩展、实用量子计算机目标提前至 2029 年。材料路线确实有大改：超导材料从铝换成铅，半导体有源区改为砷化铟与锑砷化铟组合。我的判断是：这让微软的拓扑路线更值得看，但还不能把微软自测数据当成学界确认，更不能把 2029 年理解成商业化交付时间。
Google 给熟人来电加锁：反诈是真，收编 Android 通信栈也是真
Google 在 Android 六月功能更新里加入防冒充来电检测，重点不是识别 AI 声音，而是验证这通电话是不是真由联系人手机发起。它对 AI 语音诈骗很有用，但前提苛刻：双方都要在 Google 拨号器、通讯录和 Messages/RCS 体系里。安全能力正在成为 Google 收紧 Android 基础通信入口的最好理由。