最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
达里奥自证清白,却漏签了一封信
Dario Amodei在X上反驳投资人Gavin Baker,称监管未必导致权力集中,列举SB53等豁免条款为证;但Anthropic自己拒签行业开源权重联合信,暴露这套“精心设计的豁免机制”背后仍是头部公司说了算的现实。
GIMP要砍掉27年的XCF格式,新功能却还锁在nightly里
GIMP在8月16日的开发博客里预告了一批3.4功能:新工程文件格式、非破坏性编辑扩展、光谱混色、PSD兼容性改进,信息量不小。但要先纠正一个容易被标题带偏的事实——这些功能只存在于尚未正式发布的开发版3.3.2里,普通用户手上能装的仍是即将更新的稳定版3.2.6。
一个挂钩,撑得起Peak Design新包的价签吗
Peak Design新出的City Line城市通勤系列靠内置BagLev挂钩把包悬空挂在桌沿椅背,减少落地沾污;斜挎款挂钩能转、双肩款挂钩不能转,同一系列体验并不统一;市面几美元的桌边挂钩能替代同类功能,想清楚自己是在为挂钩买单还是为整包买单。
免费开放的线代教材出第四版,官网自己的数字却对不上
《Linear Algebra Done Right》第四版已开放获取,英文、中文、波斯语电子版免费下载,新增QR分解、SVD、伪逆等内容弥补计算短板;但官网标注的430所高校采用与作者前言里375所以上的说法对不上,说明权威教材的官方材料也需要读者自己核实。
AGI-64让C64跑上Sierra游戏,但省略的那25%才是看点
独立开发者Mean Hamster Software公布AGI-64,一款让Commodore 64运行Sierra经典冒险游戏的解释器,目前《Space Quest 1》完成度约75%已可通关。真正值得琢磨的不是C64能不能跑AGI,而是它靠什么样的取舍绕开了Sierra当年放弃移植的理由。
Rhombus 1.1:把写宏的门槛,悄悄降了一级
Rhombus 1.1 发布,核心变化是用 annot、annot.def 让开发者不必直接写宏就能定义注解类型,同时调整了 class 继承绑定和作用域处理规则,并给 FFI、pict、slideshow 补了几处实用功能。真正的看点不是功能多少,而是 Racket 式"语言可定制"的能力,这次是不是真的往下发到了普通开发者手里,而不只是宏专家的特权。
为了分享一只骑车的鹈鹕,他把整套FFmpeg塞进了浏览器
Simon Willison给他的markdown-svg-renderer新增了浏览器端MP4导出功能,靠加载31MB的ffmpeg.wasm现场把SVG动画拆帧编码成视频。动画检测、时长估算、冻结帧到编码的完整管线,证明纯前端也能干服务器级的视频活,但代价是首次加载体积和串行编码效率。
Claude的隐形水印:Anthropic的话,经不起自己论文的检验
Anthropic公布了Claude文本水印的实现细节,称基于Google的SynthID-Text技术,对内容质量'无显著影响';但对照欧盟法规门槛和同行进度会发现,Anthropic的措辞、论文数据和监管要求之间存在三层错位,而它2023年还判定这项技术不可靠。
Qwen 3.8 27B跑分吊打前代，默认设置却让人干等21分钟
阿里巴巴Qwen 3.8 27B在官方跑分上全面超越前代和同门闭源旗舰，但默认的最高推理强度会让模型对着一个简单请求空想二十多分钟。独立测试者认为这套默认值离谱，官方跑分本身也还没有第三方交叉验证。
OpenAI解散风险准备团队：安全职能还在，独立审查变弱了
据《金融时报》报道，OpenAI已撤销独立的风险准备团队，并把生物、网络等风险评估工作分配给现有业务团队。现有证据不能证明OpenAI放弃了安全工作，但集中审查被拆散后，谁能延缓模型发布、谁对跨领域风险负责，变得更难判断。
77分的'神作'?一张说唱专辑的评价分裂
The Verge把Open Mike Eagle与Kenny Segal的新专辑《DOOMED!》称为hip hop分手神作,但专业乐评平均分只有77/100,《卫报》甚至只给3/5,反倒是Reddit和粉丝圈的反应比乐评人热烈得多。'神作'更像是一句修辞判断,而不是圈内共识。
扎克伯格的全民 AI 助手，为何仍有人不买账
扎克伯格希望把 Meta AI 变成十亿人使用的个人助手，并让企业拥有自己的 AI 智能体。Meta 不缺模型、资金和分发渠道，真正缺的是一份可信的说明书：它会读取什么、替谁办事，又靠什么赚钱。
Stripe传斥资70亿美元收购OpenRouter：三个月估值跳涨逾五倍
彭博社报道Stripe已敲定超70亿美元收购AI模型网关OpenRouter，但双方均未确认交易细节。OpenRouter三个月前融资估值仅13亿美元，价格跳涨更像并购谈判溢价，不能直接当成营收暴涨的证据。它不掌握底层模型，一旦模型厂商直接对接大客户或调价，议价权就会被挤压，开发团队暂时不用迁移，但该检查合同条款和备份链路。
形式化验证翻红,50年前那份判决书该翻案吗
AI编程热潮带火了曾被视为学术花瓶的形式化验证,而这股热闹的起点,正好撞上一篇1979年就判它'必死'的经典论文。逐条对照下来,四条老论点里,AI只是真正动摇了其中一条半,离'验证已经赢了'还远。
Protobuf 终于有了官方 LSP,『第一』的说法要打个问号
Buf 于1月14日发布首个生产级 Protobuf LSP,内置于 Buf CLI,一条命令就能获得跳转定义、代码补全、语义高亮等能力,填补了 Protobuf 多年的 IDE 体验空白。但社区此前并非空白地带,range 格式化缺失、breaking change 未接入 LSP、import 路径被 buf.yaml 工作区锁死,这些限制才是团队真正要面对的采用成本。
幻觉率80%的陷阱:小模型到底有多不靠谱
GLM-5.2、Qwen3.5、DeepSeek V4-Flash用远低于GPT-4的激活参数刷出更高的AIME成绩,印证了实验室正用世界知识换推理能力的架构转向；但支撑这条叙事的具体数字——跨厂商AIME对比、小模型80%幻觕率、Gemini SimpleQA 53%——拆开核对后都有需要澄清的口径问题。方向大概率没错,数字被讲得比实际情况更耸动。
亚马逊悄悄改条款:仲裁回来了,集体诉讼被堵在门口
亚马逊在美国用户条款里重新加入强制仲裁和集体诉讼豁免,还新增了一道强制庭前协商程序,这是它此前因大规模仲裁反噬而撤掉这类条款后的一次回马枪。但集体诉讼豁免并不等于消费者就此告不了亚马逊,法院对通知是否充分、条款是否显失公平仍有审查空间。
十美分芯片买不到,才是RISC-V真正的分歧点
特立尼达工程师反驳Dmitry Grinberg对RISC-V的批评:编码缺陷可以认,但十美分芯片买不买得到、运费常在60到200美元这道门槛,比指令集优不优雅更现实。ARM靠产品线分层划出MMU边界,RISC-V靠规范里的可选项打通增量路径,但扩展碎片化和单一货源风险依然存在。
Amodei说公众抵触AI是「信任危机」，但他回避了更难回答的问题
Anthropic CEO Dario Amodei回应投资人Gavin Baker的批评，否认自己的风险警告加剧了AI反弹，将问题归因于公众对科技公司和政府的长期不信任。他承认AI公司尚未兑现「造福世界」的承诺，但这个坦白本身也揭示了更根本的矛盾：在收益未落地之前，AI基础设施扩张和权力集中的成本已经由社区和公众承担。
K奖不再发试验经费：NIH的质量改革，可能断掉临床研究的入口
NIH宣布自2027年7月起，K系列职业发展奖不再直接资助早中期研究者开展临床试验，理由是这类小规模研究缺乏统计效力。但已有数据显示，拿过临床试验K奖的人后来获得R01资助的比例，是非临床试验K奖获得者的两倍以上——这条被认为低质量的路径，可能恰恰是转化出独立临床科学家最有效的路径之一。NIH提出了两种替代方案，但截至意见征集期结束（2026年9月30日），尚未定案。
GPS帮你避免迷路,却可能正在拿走你认路的能力
《纽约客》记者Shayla Love借Katherine Dunn新书《Little Blue Dot》提出:GPS让人不再迷路,但持续依赖可能正在拿走主动认路的能力,这目前只是关联,还不是定论。GPS在夜间出行、残障导航、语言不通和应急定位上的收益是实打实的,问题不在要不要用,而在要不要留一点不靠导航的时间。对普通用户,建议是熟悉路线偶尔关语音提示;对地图产品来说,路线推荐一直只服务'最快到达',从没管过用户会不会认路。