最新科技资讯 第268页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 268 页精选文章。
MSI笔记本预装软件曝SYSTEM提权漏洞,两天修完但病根还在
MSI Center的Notebook Foundation服务把高权限命名管道开放给任意已认证用户,可借此以LocalSystem身份执行程序;MSI两天响应、6月1日发2.0.70.0修复,但利用仍需已登录账号或有效凭据。这是同一研究者曝光的第三家OEM厂商同类问题,说明控制中心软件的高权限接口是行业共性风险,不是MSI一家的代码质量问题。
抑制细胞抑制抑制细胞:哥伦比亚团队找到视觉皮层里的一条隐藏回路
哥伦比亚工程学院团队用简化神经网络加小鼠数据,提出“抑制性神经元抑制抑制性神经元”的回路可能是大脑把任务规则反馈给早期视觉皮层的机制。这不是证明大脑像AI,而是给“早期视觉皮层并非被动中转站”找到一个可被干预验证的候选答案,但结论仍停留在动物层面,人类因果证据要等癫痫患者颅内电极数据。
4美元验证一道普特南题,Mistral把形式化证明的价格打下来了
Mistral开源发布Leanstral 1.5,119B总参数、6B激活参数,在PutnamBench、miniF2F等基准上刷新纪录,单题验证成本约4美元,远低于同类模型的几十到几百美元。它还能在真实代码库里自动生成命题、发现未上报的漏洞,但对比条件并不完全对等。真正决定它能否落地的,不是跑分,是企业有没有能力先把要证明的规范定义清楚。
小模型打不过大模型,可能不只是参数不够
一篇提交ICML 2026的论文发现,小模型的token表征在深层会被挤进狭窄锥形空间,规模越小挤得越紧,而且从初始化那一刻就存在;蒸馏治不好这个毛病,作者提出的dispersion loss能缓解,但效果温和、证据尚薄;这提醒小模型训练该补的不只是参数和数据,还有表征空间的几何治理。
71米高的树照样喝饱水,气候模型里一条假设该打问号了
婆罗洲龙脑香科巨树最高71米,水力系统没有因为个子高就掉链子,2023-2024强厄尔尼诺干旱期间生长也没被树高拖累。这项《Science》研究给写进气候模型的'树越高越脆弱'假设打了个问号。但结论只对这一树种成立,砍伐、干旱强度和栖息地破碎化这些真实威胁一个没减少。
Steam手柄靠“自己抖”回充电座?一个GitHub开源项目的真实边界
GitHub上的开源项目Steam Controller Auto-Charge,用顶置摄像头和70Hz震动脉冲让手柄自己挪向磁吸充电座。它没有电机也没有导轨,真正验证的是WebHID能不能在浏览器里直接读写硬件执行机构。这更像一次技术演示,不是能替代无线充电底座的消费级配件。
AI还没抢程序员饭碗，先抢了卖课人的生意
前端教育作者Josh W. Comeau称新课首发销量仅为常规发布的三分之一，多位同行也反映收入下滑超五成，原因指向AI同时压低学习意愿和付费意愿。这是创作者自述而非行业统计，但对独立课程创作者和正考虑报课的程序员都已是需要应对的现实。
开源AI差距只剩0.1分,4亿美元却去画一张地图
非营利组织Current AI耗资4亿美元发布Gap Map v0.1,收录421个开源AI产品,却把24400个长尾项目扔进未评分区。这份地图撞上Stanford AI Index刚宣布开闭源差距已缩至0.1个百分点的节点,暴露出真正短缺的可能不是模型能力,而是整理和可见性。
非洲没有集体拥抱Starlink,只有三种命运
《经济学人》说非洲人正转向Starlink,但真实图景是一张分裂的监管地图:尼日利亚、肯尼亚已放行常态化运营,南非却因黑人经济赋权持股要求把马斯克挡在门外。卫星互联网能不能落地,拼的从来不是发射了多少颗星,而是谁先摆平了牌照和股权这一关。
一本AI词典的悄悄改版：谁在争夺“幻觉”“智能体”这些词的定义权
TechCrunch那份号称「活文档」的AI术语词典，几个月内标题和发布时间都变了，却没人说清改了什么；AGI在OpenAI和DeepMind那里定义各不相同，hallucination、RAG、agent这些听起来中立的词，其实都是行业各方在抢话语权。判断：读懂术语不等于读懂风险，词典翻译不了背后的工程分歧和营销算计。
SearXNG的不追踪承诺，漏了一句关键前提
SearXNG在GitHub上的简介只有一句话——不追踪不画像，但这个承诺只在自建实例时严格成立，用公开实例仍要把信任交给陌生的运营者。放进Whoogle即将停止官方维护、YaCy坚持真去中心化的坐标系里看，隐私搜索这条赛道比口号复杂得多。
82%还是7%?一台FreeBSD服务器,两个监控工具吵起来了
同一台FreeBSD机器,fastfetch报告内存用了82%,btop却说只用了7%,差了十倍不止。刨根问底发现FreeBSD把内存切成五种页队列,ZFS的ARC缓存又藏在wired里不透明,而btop本身还带着一个32位整数溢出的老bug和一段永远返回0的死代码。真正该看的不是free或used这类静态数字,而是swap和laundry队列有没有真的动起来。
让AI自己判断该派谁干活，省钱的代价是失控风险
Simon Willison用一句prompt让Claude Code自主判断把小任务扔给低算力模型执行，token消耗明显变慢，但这套方法能生效的前提是配置subagent定义文件，而不是靠一份memory文件；社区里同时流传着路由失灵、配额异常甚至弃用的抱怨。
十几款AI浏览器围攻Chrome:抢的不是搜索框,是你的账号权限
2026年冒出十几款新浏览器,从Perplexity Comet到OpenAI Atlas,抢的都是替用户执行任务的权限,而不是搜索份额。多数所谓的挑战者仍跑在Google的Chromium引擎上,真正跳出Chromium的选项只有尚未发布的Ladybird。Chrome和Safari的市场地位暂未被撼动,但比拼规则已经从搜索结果变成谁能拿到你的密码和账号执行权。
MCP 通信黑箱终于有了一个透明代理
开源项目 mcpsnoop 把自己放进 AI 客户端与 MCP 服务器之间的真实数据通路，实时显示每一次 JSON-RPC 调用，弥补了官方 MCP Inspector 看不到真实客户端流量的盲区。它的价值不在协议演示，而在帮开发者定位工具调用失败、参数异常、调用卡住这类真实故障。
Costco是反亚马逊:靠4000个SKU跑赢无限货架
Phenomenal World把Costco称为反亚马逊:低SKU、会员制、仓库自提,反而跑出近五年年均超10%的营收增速。这篇稿子的判断是,零售效率不该只崇拜复杂物流,限制选择本身也是一种可持续的商业设计。
孩子摸过PCB,就会变成发明家吗?
硬件创业者 Matt Webb 带着自己产品 Poem/1 的电路板、注塑样品回小学讲工厂,主张让孩子把自己"摆进画面里"而非旁观惊叹;但 makerspace 教育研究提醒,这种体验对参与感和自信提升扎实,对长期学业和职业选择的效果,证据远没有那么笃定。
亚马逊悄悄给旧平板加内存,却把价格也加了15美元
亚马逊未发任何公告,把2023款Fire HD 10平板32GB版本的内存从3GB提到4GB,价格同步从139.99美元涨到154.99美元。这更像是一次为应对内存芯片涨价而做的静默换料,而不是产品换代,老用户和准备下单的人如果不查具体规格,很容易买错版本。
三个键,两个价,一个不存在的Claude商店
Project Mirage新出的三键智能键盘Dune,靠场景自动切换和用Claude写快捷键博得关注,但早鸟119美元、零售149美元的官方口径,和外部渠道流传的1美元定金立减50美元对不上。所谓的Claude技能市场,也不是Anthropic官方产品——这更像一家早期硬件公司,把AI包装成配置层,故事讲得比货架满。
AI最多让你快55%,工资单却只多了2.8%
丹麦经济学家把2.5万名工人的AI使用调查和真实工资单数据对上号后发现:聊天机器人确实省时间,但平均只省下约2.8%的工时,而这部分省下的产出里只有3%到7%变成了工资,收入和记录工时几乎没变化。实验室里AI能让人快15%到55%,现实工作里这份效率却在会议、核查和缺失的转化机制里漏得只剩零头。
EA用1.25亿美元买下的公司，后来打破了《Myst》的销量纪录
《Digital Antiquarian》最新一期Maxis历史专题重提1989年《SimCity》如何靠“软件玩具”概念杀入主流媒体，但更值得注意的是它省略的部分：Maxis其实由Wright与Jeff Braun共同创立，1997年被EA以约1.25亿美元收购后，两人分道扬镳，而Maxis自己在2000年推出的《模拟人生》，最终在2002年打破了《Myst》保持多年的PC游戏销量纪录。