最新科技资讯 第273页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 273 页精选文章。
Amazon Leo号称卫星够用了,FCC文件却写着它已经迟到
Amazon Leo部署396颗卫星,宣称达到“初始纬度连续服务”门槛,维持2026年年中商业化目标;但FCC原定1616颗/2026年7月30日的强制部署里程碑其实已被错过,靠豁免和频谱降级惩罚才躲过收回授权,这比“进度正常”的说法复杂得多。
他最好的定理,从未写成论文——AI正在拆掉数学界的记功簿
数学家出身的David Bessis自曝:他最好的成果从未正式发表,第二好的预印本也从未投稿却被引用数十次,真正值钱的是里面的定义和语言,不是定理本身。他借此宣称AI正在终结数学界靠'证明并发表定理'论功行赏的旧游戏——但这场辩论其实是30年前就埋下的伏笔。
丹麦改革样板神话：小步迭代治不好'执行失踪症'
丹麦博主Kasper Junge认为政治改革屡屡失败,是因为决策者爱下大赌注、不肯小步迭代学习。但把这句话放进丹麦真实改革史里核对——2007年地方政府改革、2025年就业服务改革都显示,执行环节的困境远不是一句方法论能解决的,丹麦的善治声誉本身建立在厚重的信任资本之上,这套处方未必能被别的国家原样复制。
自掏3000万美元,他要从微软365的77%份额里虎口夺食
印度连续创业者Bhavin Turakhia自筹3000万美元创办AI原生办公平台Neo,对标Microsoft 365,声称哪怕拿下全球企业AI支出2%到5%也算成功。但微软365已占据SaaS企业生产力软件约77%份额、近七成财富500强在用Copilot,这个'谦虚目标'背后其实是一场存量市场的硬仗。
GitHub Copilot 首次接入开放权重模型,选的是中国的Kimi
GitHub Copilot 从7月1日起把开放权重模型 Kimi K2.7 Code 请进模型选择器,这是该平台史上第一次给非闭源模型开门,个人版已灰度放量,企业版却默认关闭、需管理员手动审批。开放的是权重和价格,收紧的是企业侧的信任门槛。
AI程序员的新考卷：Senior SWE-Bench，还没人敢交成绩单
Snorkel AI 发布开源基准 Senior SWE-Bench，用一道给 Open Library 的 BookWorm 加 Google Books 兜底元数据的真实需求题，测试 AI 编程代理能否像资深工程师一样处理模糊需求、跨文件改动和边界情况，而不是靠刷题拿分。目前没有任何厂商公布过成绩，历史上 SWE-bench Verified 曾因换了更好的脚手架让 GPT-4o 分数翻倍，这提醒读者：题出得更难，不代表更难被刷高。
柳叶刀刚证明mRNA疫苗安全，FDA却拒收了Moderna的流感疫苗申请
UBC团队主导的全球综述在《柳叶刀》确认，数十亿剂接种之后mRNA疫苗安全有效，心肌炎等严重不良反应罕见。但几乎同一时间，最成熟的mRNA厂商Moderna的流感疫苗却被FDA拒收立卷，说明平台级的科学共识远不能保证单个产品顺利过审。
开源扫地机器人oomwoo刚立项,离“能用”还差一份BOM
Maker's Pet创始人Ilia O.宣布启动开源扫地机器人项目oomwoo,硬件固件软件全开放,目标本地优先、原生对接Home Assistant,但目前只到v0仿真阶段,BOM和定价均未公布。真正的看点不是它有多开放,而是它想同时做到Valetudo和TurtleBot 4都没做到的组合——这个组合眼下仍停留在承诺层面。
73.7万亿token一个月,Meta给员工AI用量踩了刹车
Meta内部备忘录显示,员工一个月消耗73.7万亿tokens,内部AI使用成本正逼近数十亿美元,公司随即拆除刷量排行榜、上马预算管控。真正值得警惕的不是员工爱用AI,而是公司自己设计的游戏化排行榜把用量异化成了目标本身。
久坐让线粒体效率降三成?这项研究的证据比你想的单薄
CU Anschutz一项新研究称久坐会让肌肉线粒体多项指标同步下滑,MPC1蛋白低49%、VO2max低38%,但研究只测了19名中年男性且是横截面设计,因果和可逆性都未验证,这套细胞衰退论目前证据比新闻标题呈现的单薄。
T-Mobile告赢了Broadcom,却还是连夜搬家
T-Mobile起诉Broadcom争夺VMware永久许可证续约权,上诉法院基本维持了对T-Mobile有利的临时禁令,但把50万美元保证金金额发回重审。这场看似胜诉的官司背后,是2026年8月3日的支持到期倒计时和数万台虚拟机迁移的现实压力。
入门级MacBook Pro传「大改」，爆料真正指向的其实是另一条产品线
彭博社称苹果最快2027年上半年推出重新设计的14英寸入门MacBook Pro，外形向在研的触控屏MacBook看齐；但把M5、M6刷新和触控Pro的时间线并排比对会发现，「入门Pro大改」更像是设计语言的顺延，而非独立立项，真正的悬念在于苹果敢不敢动Air和Pro之间的价格间距。
莫迪的名字能被抢注,CZ的却不行:WhatsApp用户名开局翻车
WhatsApp刚开放用户名预留,仿冒莫迪、印度央行的高仿handle仍可注册,币安创始人CZ却抢不到自己的常用名。印度监管已发函要求暂停上线,而产品本身的护栏设计,其实比外界想象的更结实,但挡不住真正的精准冒充。
一个查找职工所有制商家的网站上线了，但目前是空的
Worker Owned上线了一个按品类查找职工所有制企业的导流网站，涵盖咖啡、啤酒、服饰等十个类别，不卖货也不抽成。但首页明确写着“0 products from 0 worker owned stores”，说明这个项目还停在冷启动阶段，内容全靠商家自主提交，能不能填满是它唯一的考验。
GLM-5.2配上专属编程工具,官方跑分和优惠价各说各话
z.ai发布ZCode 3.0,定位为GLM-5.2的官方编程代理工具,试图复制Claude Code式的模型-工具绑定打法。但其定价页配额优惠前后矛盾、跑分数据全部自证、且在Cursor等竞品对比中几乎没有第三方评测,官方叙事的可信度需要打个问号。
Xbox 两年内第三轮'重置':工作室清洗与涨价一起来
微软准备对Xbox发起新一轮结构调整,至少五家工作室(含《Blade》开发团队、Arkane)面临关闭,IO Interactive因Xbox退出发行合作已开始裁员,主机8月1日起再涨100到150美元。放进2024年Bethesda工作室关闭、2025年取消Perfect Dark和Everwild的时间线里看,这已是两年内第三轮同类调整,订阅与硬件两头承压的信号比裁员本身更值得关注。
AI账单摊牌:企业逼着Claude说话像穴居人省token
AI提供商从近乎无限使用转向按token计费,企业为省钱开始压缩大模型输出长度,连让Claude、Codex"说话像穴居人"这种土办法都用上了。与此同时,AI生成的虚假花卉图片正在Etsy、eBay、Amazon上批量收割消费者,有卖家被封前已卖出三万七千多单。这两件事拼在一起,说明生成式AI正从野蛮生长的红利期,进入真实成本和真实代价一起清算的阶段。
10到15克面包虫吃1克骨头肉,博物馆清骨要换新工具了
伊朗研究团队用超级面包虫清洁了8种动物骨骼标本,找到10-15克虫/克标本的最优比例,不伤骨还比甲虫更好管理。这项研究解决的不是清洁效果问题,而是甲虫容易越狱产卵、威胁馆藏的老麻烦。
美国家庭电池装机"创纪录"，两套数据差了一倍多
2026年一季度美国住宅电池装机被称"创纪录"，但SEIA与Wood Mackenzie给出的数字相差超过一倍，联邦税收抵免同期到期，这场热潮更像政策窗口关闭前的抢装，而非电价上涨催生的稳定趋势。
发射台炸了,NASA局长还是先夸了一句
New Glenn在5月底的整机测试中炸毁了自己唯一的发射台,避雷塔和转运竖立装置双双报销,但NASA局长这周公开称赞Blue Origin恢复神速,说2027年前都不用紧张。问题是,FAA调查结束不等于放行,阿尔忒弥斯真正的进度瓶颈也从来不在这枚火箭身上。
Musk否认SpaceX手机传闻，却漏了关键几个字
《华尔街日报》报道SpaceX在IPO前向投资者展示过一款类手机AI设备原型，Musk随即在X上称报道“彻头彻尾假消息”。但对照措辞会发现，他否认的更像是“手机”这个定性，而不是“设备原型”本身存在，这个缝隙比否认本身更值得盯。