最新科技资讯 第122页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 122 页精选文章。
Bend 2 陷阱与 442 行手写代码：氛围感编程为何救不了形式化验证的语义脱节
明星语言项目 Bend 2 因一段长达 442 行的手写证明演示引发争议。这不仅暴露了氛围感编程绕开领域积淀导致的技术返祖，更揭示出该项目在编译器稳健性与形式化语义上的深层脱节。
NASA用AI预测山洪获93%捕获率，TACLS原型系统藏着哪些传播误读
NASA等机构研发的原型系统TACLS通过地基GPS信号延迟反演大气水汽，辅助山洪预警。但媒体宣传的93%捕获率实为历史警报召回率而非真实准确率，15至30分钟也仅是数据链路延迟而非逃生提前量，且关键误报率尚未公开。
ZCode 被曝静默打包上传 313MB 仓库快照，智谱面临开源信任危机
安全研究员披露 ZCode 存在静默打包整个工作区并上传阿里云 OSS 的行为，归档中 Git 历史占比超 86% 且本地无法解密。这暴露出开源模型声誉掩护下闭源外壳失控的治理短板，全量同步更把敏感历史资产推向云端风险边缘。
OpenJev提速5.21倍：Qwen3.5-4B在浏览器免解码读Logits的得与失
开发者 TheoLeeCJ 推出纯前端实验项目 OpenJev，借助 WebGPU 在浏览器本地运行轻量模型，通过单步读取 Logits 替代逐字 JSON 生成，换取最高 5.21 倍的决策提速。这一尝试打破了 Agent 路由必须依赖繁琐解码的工程惯性，但在选项扰动与置信度校准上，暴露出直接采用无约束概率的现实缺陷。
FEX披露x86模拟架构硬伤：内存序模型导致ARM性能暴跌近 10 倍
开源模拟器 FEX 发布长文直指跨架构转译的最大死穴并非指令解码，而是 x86 全存储排序与 ARM 弱内存序之间的底层冲突。这种架构差异在极端游戏负载下足以抹去近 10 倍的吞吐性能，甚至迫使主流转译工具在严谨性与可用性之间游走于违规边缘。
Claude Code Projects上线与0.042美元Jev引爆Agent工程解耦
AI Agent工程正在告别让单一前沿大模型全包全揽的手工作坊模式。从Anthropic与Google重构异步多线程运行时，到TypeSafe用低成本判别模型接管控制流，整个行业的基础设施正快速分裂为顶层编排与底层轻量决策两极。
jemalloc 5.4.0正式发布废除7个调优参数：自适应接管线程缓存与大页重构
内存分配器项目 jemalloc 发布 5.4.0 版本，包含超 160 个提交。新版全面弃用工程师依赖多年的 7 个 tcache 手动调优参数并改为自适应算法，同时引入 PINNED 机制铺路大页管理，标志着底层基础设施向自动化迈出关键一步。
解构Pre-Greek核心假说：古希腊语深处隐藏的1000个外来词与文明分层
古希腊语中存在约1000个无法追溯至原始印欧语的神秘词汇，直接覆盖了雅典、迷宫与橄榄等核心文明意象。这些词汇并非来自单一失落母语的馈赠，而是印欧迁徙部落与爱琴海本土农耕文明历经数百年碰撞沉淀的语言地质层。
美众院H.R. 10364法案施压：要求10万用户量级VPN与DNS封锁盗版
美国加州共和党众议员达雷尔·伊萨提出H.R. 10364法案，拟授权联邦法院向月活达10万的DNS与VPN服务商下达盗版封锁令。版权维权重心正从追责源头彻底转向征用基础设施，但试图以无状态解析和加密隧道充当数字边警，不仅在技术工程上自相矛盾，更将开放互联网拖入连坐误杀的泥潭。
OpenAI 与微软诉讼案解密：179次抓取仅引流1次，高管自认劳动力盗窃
《纽时》诉微软与 OpenAI 侵权案解密的法庭备忘录显示，巨头内部早已洞悉大模型对新闻业的致命伤害。高管私下承认抓取内容是劳动力盗窃且具备高度替代性，而真实流量数据证实大模型正在掐死自己的内容供给链。
Scaleout Systems让ALMA巡飞弹在30毫秒内离线猎杀装甲车
瑞典初创公司Scaleout Systems将轻量视觉模型与联邦学习植入无人机，让ALMA自主巡飞弹在断网与极寒环境下完成闭环猎杀。军工叙事用后方模型更新的人工介入掩盖战场终端的无人决策，当电磁压制切断通信，人类已被彻底挤出开火回路。
RFK Jr. 重组美国预防工作组 USPSTF：8位争议专家的千亿医保筛查权
美国卫生部长肯尼迪一次性撤换预防服务工作组（USPSTF）半数专家，专科医生与政治争议人选大举进驻。这不仅是一场人事清洗，更借由最高法院新判例，将掌控全美商业医保免费报销大门的循证科学阵地收编为行政附庸。
Waymo 宣布 2028 年开跑新加坡，但 4000 辆召回阴影与榜鹅防线已堵在门前
Waymo 宣布将于 2028 年在新加坡落地全自动驾驶网约车，看似是行业龙头开拓海外，实则是本土扩张受阻后的避险出海。面对早已被本土巨头与中国技术商锁定的市镇接驳格局，以及当地严苛的监管红线，这场迟到了两年的跨国远征变数丛生。
开源语言 Goose 宣称比手写 C++ 快 1.16 倍：无堆设计的性能红利与表达力代价
开源系统级编程语言 Goose 凭借完全无堆架构与数据栈设计，宣称在基准测试中超越手工优化 C++ 与 safe Rust。然而这项性能胜利很大程度上来自内存紧凑排布与全进程析构规避，并在通用表达力和动态数据结构上做出了苛刻妥协。
Qwen3.8-Omni-Flash宣称成本降98%，但它还不是全能音视频替代者
阿里巴巴发布原生全模态模型Qwen3.8-Omni-Flash，主打1M上下文与音视频Agent工具链调用，并声称输入成本最高下降98%。但深入其API与跑分结构可见，该模型实为多模态进、纯文本出的闭源特化工具，在听觉上表现抢眼，但在视频深层推理与基础Token单价上仍面临激烈竞争。
Cooley携OpenAI推GO Public 数分钟出S-1初稿直击律所工时计费
硅谷顶尖律所Cooley联手OpenAI上线专有法律工具GO Public，将S-1招股书初稿生成时间压至数分钟。然而大模型跑得再快，也免除不了1933年证券法对真实性的终极追责，更在行业伦理严管虚报工时的红线下，直接动摇了律所赖以生存的按小时计费根基。
Thomas Ptacek立下大模型写作铁律：绝不借用LLM一个词与背后的认知保卫战
资深技术专家Thomas Ptacek与开源开发者Simon Willison提出LLM写作第一准则，严禁采纳模型生成的任何具体字句。实证研究表明，即便是句子级AI润色也会瓦解作者的心理所有权，对抗性校对正在成为严肃创作者对抗文本同质化的心智防护装备。
Rust核心维护者遭定向社工猎杀：86分钟下架的arrayref与零沙箱死穴
Rust官方针对核心成员与流行库维护者发布紧急安全预警，黑客正通过高仿真招聘视频面试定向投放恶意指令。攻击者越过严密的代码静态审计，利用Cargo构建脚本缺乏沙箱的机制漏洞直扑维护者物理设备，暴露出开源供应链在人员凭证与构建隔离上的系统性软肋。
Mazama Energy 获 1.35 亿美元融资：从 0.7 到 15 MW 超临界地热的现实落差
地热初创公司 Mazama Energy 完成 1.35 亿美元 B 轮融资，试图以单井 15 MW 的超临界地热技术为算力中心提供全天候基荷电力。但在远景叙事背后，实测仅 0.7 MWe 的电力输出、400°C 材料死穴与仅批 3 口试验井的监管现状，暴露出深地工程与资本热潮之间的巨大断层。
日本百岁老人破 10 万关口，长达 11 年失能期推高 39 万亿社保重压
日本厚生劳动省公布百岁老人首次突破10万人达到107,677人，连续56年攀升居全球首位。然而在长寿光环背后，日本女性平均失能期长达11.6年，未压缩的患病期正让39.1万亿日元的社保财政陷入无底深渊。
Zoox撕掉内华达100辆限令，赌城7000张Robotaxi牌照藏着多少泡沫
内华达州解除 Zoox 的 100 辆配额限制，表面上扫清了扩张障碍，但其双向纯定制车仍卡在联邦每年 2,500 辆的豁免天花板上。面对内华达给对手批出的 7,000 辆纸面指标，无人驾驶在赌城的真正搏杀，依然是极少数车辆在高价值点位上的现实巷战。