最新科技资讯 第145页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 145 页精选文章。
霍尔木兹海峡多了张免费船位图,但它测不出是否封锁
免费网站hormuz.now把霍尔木兹海峡的公开AIS船位实时摊在地图上,抓取瞬间显示472艘油轮、850艘货轮。这只是某一刻的静态快照,不是全天通行量,更测不出封锁与否。能源风险团队和航运调度该把它当趋势线索,不该当决策依据。
Xteink阅读器"接入Libby"背后：一个被开发者自己叫停的原型
The Verge报道称Xteink小尺寸电子墨水阅读器正"获得"Libby图书馆借阅功能，但梳理CrossPoint固件八个月的版本史会发现，这更像一个被开发者主动叫停的测试原型，背后卡住的是DMCA规避条款和DRM授权这两道真正的门槛。想靠这功能借书的人，现在下单可能会失望。
核聚变融资喊出71亿美元，两家公司的数字先把总数超了
核聚变行业融资口径喊到71亿美元，但CFS和Helion两家合计就有71.4亿美元，说明这个总数本身没法直接加总。CFS押注托卡马克，冲2027年前后的科学盈亏平衡；Helion押注交付速度，2028年就要给微软供电。融资规模从来不等于发电能力，钱到账的方式比总额数字更值得细看。
美国新增电厂：太阳能被吹得最响，账却没那么简单
一篇号称梳理2026年美国所有新投运电厂的报道，抓取到的正文其实只有Cookie声明，一个数字都没有；但真去查EIA的月度数据会发现，'太阳能占51%'来自2月的全年计划，跟1-6月实际投运数据（SunZia风电单项目3650MW、大量太阳能+电池混合电站）对不上号，统计口径的选择本身就在悄悄改写谁是真正的主角。
《The surprise must-see movie of the summer》：标题给了悬念，摘要没给答案
这条线索来自 The Verge 的 Installer No. 140，但现有摘要只展示了一串内容推荐，没有告诉读者那部“夏日必看电影”究竟是什么。真正的问题不在电影是否值得看，而在 newsletter 的标题、摘要和正文之间出现了信息断层，搜索用户很容易被悬念带进去，却拿不到做判断所需的最小事实。
232倍加速却排第12:Codex赢不过换算法的冠军
Sankalp用Codex在GPU Mode的qr_v2赛题上14天提交1500次，跑出相对baseline约232倍的加速，最终排名12/183；但夺冠选手换了一套CholeskyQR混合算法，跑分反而比他快近48%，说明当前AI agent更擅长在既定算法框架里高强度搜索参数，真正的算法路线突破仍然要靠人。
住房越贵越难骑，但这篇报道的正文先自己“消失”了
The Verge报道了艺术家Justin Blinder的装置《Ground Truth》：踩踏阻力随所在街区住房可负担度变化，隐喻住房危机。但可查到的正文实际只有网站导航栏，装置机制、展出地点、艺术家原话全部缺失，多轮检索也找不到独立信源佐证这件作品。
删掉一条连线，AI答案就变了：ThoughtDAG想让上下文不再靠猜
开源工具ThoughtDAG把AI对话变成一张可编辑的有向图，删掉一条无关连线就能让污染的回答变干净，但同类思路已经挤进至少五个创业项目和两篇学术论文，它的真正考题是能否把图从导航界面升级成决定生成结果的执行系统。
GCC 用两个版本,才把这个「合法后门」堵了一半
GCC 16和即将发布的GCC 17,两个版本才把C语言嵌套函数长期存在的可执行栈问题往前推进一步:一个解决了不捕获变量的简单场景,另一个用新内置函数让捕获变量的回调也能绕开trampoline。但新方案要求手动改写调用协议、不兼容标准函数指针ABI,目前只能用在自己控制调用双方代码的封闭场景。
冬眠后突触少了，记忆却还在：大脑可能比“硬盘”更会藏东西
一项小鼠研究发现，进入冬眠样低活动状态后，大脑连接会明显收缩，动物仍能取回此前形成的记忆。它没有证明“脑死亡后记忆复活”，却给记忆存储提了个更难的问题：记忆或许不押在几条固定突触上，而藏在可被重新拼回的网络规则里。
画个形状就能听见鼓声：Eigendrum 复现了'同谱异形'的数学反例
网页工具 Eigendrum 让用户画一个闭合形状或输入公式，浏览器本地用有限元法实时算出这个形状振动时该发出的声音，圆形和矩形的求解误差优于0.1%。它真正复现的不是一面鼓，而是1992年数学家证明的'同谱异形'反例——两个轮廓不同的形状，固有频率序列可以完全相同。张力、阻尼、敲槌位置这些参数仍是人为设定，教师学生适合拿它做模态演示，音乐创作者最好只当实验台，别指望它替代真实录音。
不用Pull Request也能过SOC 2审计?Amp把替代方案说清楚了
AI编程工具公司Amp的工程师直接推main、不开PR,但这套流程照样能满足SOC 2要求。关键不是SOC 2允不允许,而是它压根没规定必须用哪种Git流程;Amp用权限、签名提交、全量CI和审计链路替代了人工代码审查。这套模式建立在20人高信任团队的前提上,大公司照搬前先看清自己的风险结构。
一个虚构员工的名字，为何十六年后还能拦住真实的爱尔兰人
2009年，一起伊朗零件走私案里的虚构马甲名字被写进美国出口管制实体清单，十六年未更新；同名的爱尔兰真实公民因此被Nasdaq、DHL、Apple反复标记为受限对象，Nasdaq和DHL补交证件后解除误判，Apple拿到护照和驾照后仍回复“完全匹配”；这暴露的是政府源头数据错误经企业自动化筛查放大、当事人几乎无法申诉的问题。
AI测App像真人？Deltix开测,隐私和准确率全凭官网自证
移动应用测试工具Deltix开放测试版上线，用户只需用自然语言描述任务，Mac端Agent就能在iOS模拟器上模拟真实用户操作并反馈是否卡壳。但目前无论是它标榜的“本地隐私优先”架构，还是“像真人一样测试”的执行能力，都只有官方一面之词，没有任何第三方验证。
太平洋唯一的北方塘鹅，Morris在加州码头待了14年
一只名叫Morris的北方塘鹅，14年前出现在旧金山外海法拉隆群岛，如今是太平洋目前唯一已知的这个大西洋物种个体，常驻加州Pillar Point Harbor。北方塘鹅本该只生活在北大西洋，Morris的越洋滞留罕见但孤证不立，不能直接证明气候变化或迁徙路线永久改变。对湾区观鸟者来说，这是一个位置公开、特征明显的观察对象，但远观不打扰比拍到近照更重要。
一篇想给微积分'瘦身'的论文，缺的恰恰是证据
数学教育学者Jonathan Bartlett在2018年提交的论文主张简化大一微积分的教学流程，用更少概念覆盖更多计算任务，但这篇13页论文发表于影响力有限的小众期刊，没有课堂试点或成绩数据支撑，本质上是一份理念先行、证据缺席的教学法倡议。
Ploopy A+发布：一款被社区“剧透”了三年的轨迹球
开源硬件厂商Ploopy将于8月19日以99加元预售新一代轨迹球A+，按钮数从6颗增至8颗并加入手势、多层配置等新功能。这款产品的大部分功能其实早在三年前的Adept设计里就埋了伏笔，社区甚至抢先做出了官方还没发布的腕托，这比参数表本身更值得琢磨。
这份M7.7地震通报,发布时间比地震早了25天
USGS页面记录印尼弗洛勒斯海发生M7.7地震,约150万人暴露于强烈震感,但通报的发布时间竟比地震发生时间早了25天,印尼BMKG至今未见官方确认。真正该记住的是1992年同一海域的M7.8地震曾引发20多米海啸、致死至少2500人,决定海啸破坏力的从来不是震级本身,而是断层类型和破裂朝向。
白宫喊话改革美国科研,预算申请先砍了基础研究四成
《经济学人》刊出白宫科技政策办公室科学总管Kratsios的署名文章,呼吁大改美国科研体系,主打AI与对华竞争。文章正文因付费墙未能读全,但同期FY2026预算申请显示,NIH、NSF、NASA科学项目降幅普遍在四到五成,DARPA几乎未动。改革的名义之下,数字暴露的是对开放式基础研究的选择性收缩。
44 比 27 不能给 RISC-V 单片机定输赢：中断周期账该怎么算
一份中断处理估算把 RISC-V 的 44 个周期与对照方案的 27 个周期摆在一起，但测试前提并未完整披露。它真正暴露的不是 RISC-V 天生不适合单片机，而是不同内核、中断控制器和软件栈差异过大，选型必须回到量产芯片实测。
Stripe与Advent据报仍在洽购PayPal，530亿美元报价只是起点
据《华尔街日报》援引匿名消息人士报道，Stripe与Advent仍在洽购PayPal，此前报价为每股60.50美元、总估值约530亿美元，但各方尚未确认交易。真正的变量不只是价格，而是Stripe能否把PayPal的消费者账户和Venmo网络接入自身支付基础设施，同时承受监管、整合与裁员压力。