最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
1099美元的iPhone,租两年后还要再补331美元买断
苹果联合Klarna推出的Apple Upgrade号称让换机更轻松,但拆开条款会发现这是一份带精算式罚则的租赁合约:买断费是实打实的数百美元余值,到期不操作会自动续租直至被强制扣款。这场行业换机模式转型,真正目的是苹果、三星从运营商手里夺回客户关系和利润,不是让手机变便宜。
AI造了个假证明，却意外验证了Lean的纵深防御
一份AI辅助生成、看似完整的Collatz猜想“反证明”，意外揭出Lean官方内核和独立检查器nanoda里两个互不相关的漏洞，团队一小时内完成修复。这事真正的看点不是“AI差点攻破数学证明系统”，而是它其实印证了多内核交叉验证这套纵深防御设计按预期发挥了作用。
NetBSD 11.0 发布,官方自己承认还有三个洞没补
NetBSD 11.0 正式发布,公告里罕见地摆出三个未修复的安全问题清单和临时规避方案,而不是继续拖发布日期。这次拖延的真正原因是等第三方组件和发布工程流程,不是漏洞本身;三个问题目前只是内部问题单,是否构成正式漏洞编号还没有定论。
一首歌冲到 Billboard 第58名，却没人说得清它用了多少 AI
Fenix Flexin 的《Rubberz》升至 Billboard Hot 100 第58名，却因曲风突变、疑似AI封面和现场表现遭到AI生成质疑。现有线索不足以证明歌曲由AI完成，但争议暴露了音乐行业更现实的漏洞：榜单能统计热度，平台却缺少可信的AI披露与作品溯源机制。
单次建库和建Schema一样快,为什么整套测试还是慢3.5倍
Brandur把pgtestdb接入River测试套件后发现,单次克隆整个数据库和单次建Schema+迁移的耗时几乎打平,都在100毫秒左右;但整套测试跑下来,Schema方案反而快3.5倍。真正的分水岭不是克隆技术,而是能否复用已建好的测试环境,这决定了pgtestdb能不能真正进CI。
查无此文的"预训练第三轴":一篇博客的6.2倍效率从哪来
独立研究者Alexi Gladstone在个人博客提出Explorative Modeling（XM），称训练时让模型探索K个候选答案取最优者，可当作数据量、参数量之外的第三条预训练扩展轴，并给出6.2倍样本效率、256倍推理算力节省等数字。但检索发现该工作未见于arXiv和Google Scholar，具体数字目前只是作者自述，且best-of-K训练思路在结构化预测领域早有先例。
诺兰《奥德赛》还没上映，7亿美元票房和学者激辩从哪来？
环球影业把诺兰《奥德赛》定档2026年7月17日，目前不存在“全球票房突破7亿美元”的可核实记录。约2.5亿美元预算属于行业媒体报道口径，非线性记忆、弱化神祇及Emily Wilson系统批评等说法也缺少可靠出处。经典改编当然可以重写，但成片尚未出现，评论不能先替电影完成。
《蜘蛛侠：崭新的一天》泄露刷屏，但“590万观看”和票房纪录都需核实
一段被称为《蜘蛛侠：崭新的一天》盗录内容的视频在 X 存活超过 7 小时，触达约 590 万个账号，但现有信息无法确认它是完整电影、预告片还是现场片段。“触达账号”也不等于实际播放量；报道附带的 7200 万美元预映票房更缺少市场、日期和来源，不能据此判断泄露未影响票房。
奥特曼继续推销 ChatGPT 育儿：能帮忙，但别把判断权也交出去
Sam Altman 再次分享 ChatGPT 面向父母的用法，试图把 AI 从办公工具带进家庭日常。它适合整理信息、生成内容和准备问题，却不该替代医疗判断与亲子交流；真正的分水岭，是儿童数据保护和责任机制能否跟上。
新路由库 Kaisel 官网写得漂亮,但全网搜不到它的仓库
Flutter 新路由库 Kaisel 主打 sealed class 编译期检查和零代码生成,卖点精准踩中行业痛点,但三轮独立检索都找不到它的 GitHub 仓库、pub.dev 页面或任何第三方讨论。一个基础设施级别的开发工具,目前只有官网自己在说话,这比它的技术卖点更值得开发者留意。
一个赞、一次转发:一个RSS爱好者目录的真实起点
独立开发者Andrew Shell上线了RSS爱好者目录iheartrss.com,首页有FeedLand驱动的实时blogroll。上线至今公开互动只有1个赞、1次转发,也没有任何第三方报道,这更像是RSS复兴运动里一次孤立的个人尝试,而非行业信号。
9美元锁住手机瘾,却锁不住一次卸载重装
Autonomous Key用一把9美元的NFC钥匙物理锁定手机上的干扰App,价格远低于Brick、Unpluq等竞品,但实测暴露的关键漏洞是:钥匙丢了只需卸载重装App就能解锁,这让"必须物理接触才能解锁"的核心卖点打了折扣。真正决定这类产品有效性的,不是价格,而是锁能不能被软件手段绕过。
Cursor把账单换成Token计数，用户扒出后端计费字段被清零
Cursor在7月31日把个人版和团队版的Usage页面从美元费用改成了Token计数，CSV导出的Cost列也随之消失；更值得警惕的是，有用户发现后端API返回的计费字段本身被清零，这已经不是简单的界面简化，而是过去五个月里美元透明度被一步步收紧后的又一次升级。
Codeberg禁了AI代码,却也让GitHub的护城河露了底
Codeberg宣布拒绝托管主要由生成式AI写成的代码项目,这只是个引子;真正扎心的是不少想离开GitHub的开发者发现根本无处可去。GitHub的护城河从来不是Git托管,是身份、协作惯例和项目发现拼出来的社会层,目前没有一个替代品真正接得住。
特朗普甩锅沃尔兹的水务黑客案，联邦证据链其实没接上
特朗普把明尼苏达州至少30个社区水务系统遭黑客入侵的责任推给州长沃尔兹，但翻遍公开记录，找不到任何官方文件把2026年这起事件正式归因于伊朗——唯一留下书面证据的同类案子，发生在宾夕法尼亚州。归因悬而未决，锅已经先扣下去了。
Uber拉来约30家自动驾驶公司，真正想造的是叫车入口
过去两年，Uber通过合作和部分直接投资，拉来约30家自动驾驶公司。合作数量看着像技术军备，实际押注的是平台控制力：让车企承担研发和运营重担，Uber继续掌握订单、调度与支付；但名单不等于护城河，商业规模、单位成本和合作方是否绕开Uber才是关键。
汇编书还没出版,先把边界划死了
Randall Hyde新书《The Art of 64-Bit Assembly》第二卷定于2026年6月出版,792页,只讲Windows和MASM下的面向对象、异常处理、闭包、协程怎么落到指令级。它能验证的是Windows这一套调用约定怎么运作,不是所有平台的运行时真理,想学Linux/ARM底层的读者现在可以先绕道。
九个月沉默后,加拿大悄悄签下了自己反对过的监控条约
加拿大在缺席河内签字仪式九个月后,悄悄签署了联合国网络犯罪公约,却没解释立场为何转弯。这份公约能把他国压制性国内罪名转化为跨境取证依据,加拿大已有布达佩斯公约和双边机制覆盖真正想合作的对象,新增的合作空间恰恰指向风险最高的国家。
Reddit营收涨61%股价却跌21%，问题出在一份没写明的承诺
Reddit二季度营收同比涨61%、日活涨18%，财报当天股价却重挫约21%；真正的导火索是CEO对Google AI Overviews价值的公开质疑和一份年约6000万美元、条款语焉不详的授权协议。市场恐慌的根子，是一个从未被合同写明的流量承诺。
手机传感器够强了,默认相机却在拖后腿
手机传感器进光量已经追上部分便携数码相机,但默认相机的重度计算处理会把画面压平,显得发闷发灰。真正拉开成片差距的不是硬件,而是愿不愿意用第三方App拍RAW再手动后期。日常记录没必要折腾,想认真拍风光、人像的人,这份时间成本值得投入。
The Verge 2026 返校购物指南：学生缺的不是更多商品，而是少买错东西
The Verge 推出 2026 返校购物指南，覆盖书写工具、闹钟和多用途背包，定位介于实用采购单与愿望清单之间。它真正出售的是替学生和家长缩短决策时间，但“编辑推荐”仍不能代替预算、兼容性和售后核验。现有摘要没有出现所谓“MacBook Neo”，据此讨论虚构苹果产品并不成立。