最新科技资讯
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 1 页精选文章。
AI几周内证伪80年数学猜想,美国数学预算却砍向39亿美元
2026年5月,一个AI系统生成的反例推翻了存续80年的Erdős平面单位距离猜想,顶尖数学家几周内完成人工验证。同期美国NSF数学科学预算申请收紧到39亿美元,数学家Jun-Yong Park警告:审核AI的人才管线才是真正的战略资产,一旦断了不能按需重建。
Claude Code首轮多烧5倍token,多步任务账单却未必更贵
Systima抓包实测显示,Claude Code首轮请求约3.28万token,是OpenCode约6900token的近5倍;但多步编码任务里,Claude Code靠批量工具调用反而总账更低。真正决定账单的不是模型,是工具schema、指令文件、MCP和子代理这几层配置。
白宫悄悄谈开放模型新规,窗口期只剩半年
白宫正讨论一份可能限制开放权重模型的行政令,消息指向中国来源模型和政府使用场景,目前尚无正式文本。真正的风险是,美国可能把蒸馏疑虑和前沿能力担忧捆在一起,先勒紧的是刚成型的美国本土开放模型生态。
苹果造车十年,芯片'遗产'查无此名
苹果被曝将M7系列做成AI芯片主力,报道顺带把它和已死两年多的Project Titan挂钩,说是造车没成却攒出了芯片遗产。可查一圈,'M7 Ultra'这个名字目前没有任何官方或权威信源证实,这笔遗产账,证据链是断的。
NHTSA对Waymo下最后通牒,联邦却在给无方向盘车松绑
NHTSA局长本周用罕见强硬措辞警告所有AV开发商,矛头暗指Waymo在旧金山半年内两次因极端场景抛锚堵路;同一时期Uber悄然结束与Waymo的凤凰城合作,联邦却在酝酿给无方向盘车型松绑设计标准。三条线索叠加,说明robotaxi行业正在同时经历监管收紧和商业松动的双重挤压。
他说自己'灭绝'了,但侏罗纪公园离不开他
1993年ILM的CGI霸王龙测试让特效师Phil Tippett说出'我感觉自己灭绝了',但他后来靠留任和转型拿了奥斯卡。程序员博主Fabien Sanglard借这个故事劝同行拥抱LLM,可2026年的采用率数据和任务信心落差提示:这条'进化'路没有他讲得那么轻松,也不是人人负担得起。
SteelSeries耳机喊'降价超100美元',比价工具却给出另一个数字
SteelSeries Arctis Nova Pro Wireless瑕疵盒价239.99美元,官方称比380美元原价省了100多美元,但第三方比价数据显示这款耳机近期市场价早就跌到280到306美元区间。真正的省钱幅度,可能只有四五十美元,而不是标题写的那么诱人。
特拉维夫这家画廊,把稚拙艺术做成了打七折生意
以色列GINA画廊官网的Specials专区里，三幅画作原价打七折在线出售，这在讲究保密议价的艺术画廊里并不常见。折扣背后，是一家运营二十余年的稚拙艺术专业画廊，在近乎零本土竞争与全球线上去中介化夹击之间的真实处境。
Oura Ring 5:变轻的是戒指,变重的是账单
Oura Ring 5比上一代更薄更轻,但传感器、算法、续航几乎原地踏步,起售价却涨到399美元。真正升级的不是硬件,是每年69.99美元的订阅账单,这才是它和无订阅竞品最大的分水岭。
一颗199美元的灯泡,凭什么被封为最接近做对的智能家居
《Verge》播客回顾Philips Hue十余年产品史,判断它是目前最接近把智能家居做对的消费品。它赢在开放兼容、装上就用、把智能藏起来,而不是堆参数博眼球;199美元的门槛和生态依赖,至今没解决。
4356个MCP服务器里，只有1个真正准备好了
独立开发者Roee Tsur发布检测工具mcp-spec-check，扫描MCP官方注册表7850个服务器，4356个可公开访问，结果只有1个通过全部三项必测项，90.8%尚未适配即将发布的新规范。这个数字看着吓人，但连作者本人都强调这更像GA前的正常滞后，真正值得盯的是他为让这个数字可信做的三层验证，以及数据在传播中被曲解的样本。
AI科研红利：论文涨67%、引用翻3倍，但科学版图正在收缩
一项追踪近6800万篇论文的研究发现，用AI做科研的科学家发文量多67%，引用量翻3倍多，当上课题组负责人的时间提前4年；但这些论文覆盖的主题更窄，引来的后续跟进也更少。个体越跑越快，学科整体的探索版图却在收缩，这是AI科研红利里最容易被忽略的另一半。
一款不为家庭设计的92分解谜神作,意外把这家人粘在了一起
《Blue Prince》是一款门槛高、机制不透明的硬核解谜游戏,评论界普遍认定它不适合低龄孩子,却被一个家庭拆解成了亲子协作项目。这个案例发生在游戏同时在线人数从发售峰值大幅回落之后,更像是长尾玩家对硬核内容的一次意外挪用,而不是游戏设计初衷。
Odin官方文档里,那本教程其实要花钱买
Odin编程语言的官方文档站正式收录了一本要付费购买的个人教材《Understanding the Odin Programming Language》,最新1.10版把Small_Array改教成已被核心库正式取代的[dynamic;N]T类型。这次更新表面是教材小修,实际暴露的是官方教程建设的空缺——放在core:os刚被os2整体替换的背景下看,一门仍在剧烈重构API的语言,把入门门槛部分交给了一本商店里的书。
沉默1700年后，太平洋人为什么突然集体东渡
新古气候证据显示，850到1200年南太平洋经历两千年来最严重的干旱，时间正好卡在波利尼西亚人结束1700年航海停滞、大举东进的窗口。这不能证明干旱直接导致迁徙，但足以说明那场被讲成冒险传奇的远航，更像是资源逼近极限后的一次制度性突围。
从否决到暂停:AI数据中心的社区反抗已经见了战绩
2026年上半年,弗吉尼亚、佐治亚、亚利桑那三地的居民已经用否决案、暂停令和诉讼拦下多个AI数据中心项目,这不再是零星抱怨,而是有具体输赢的治理博弈。真正引爆冲突的不是耗电耗水本身,而是开发商长期用空壳公司隐瞒真实规模、社区参与流于形式。
970个提取器背后：yt-dlp靠什么撑住一场没有终点的军备竞赛
一张Ilograph绘制的交互式架构图把yt-dlp拆解到代码层，暴露出它远不止是下载脚本：970余个站点提取器、一个218KB的核心类、专门对抗YouTube反机器人机制的子包，共同支撑着一场持续更新才能活下来的对抗系统。这些具体数字目前只有该图这一个信源，交叉验证还是空白。
Ghostel:借来的引擎,给 Emacs 终端换了个内核
Ghostel 用 Ghostty 同款引擎 libghostty-vt 替代 libvterm,补上 Kitty 图形、OSC 8 等 vterm 和 eat 都没有的协议能力。首次使用会自动下载原生模块,免去本地编译,但把信任成本换了个地方。长期维护落在第三方项目而非 Ghostty 官方,能不能跟上引擎迭代还是未知数。
62岁女工获救背后：官方通报里,那个『55年』其实没写清楚
巴西福塔莱萨一名62岁女工被曝自7岁起为同一家族服务55年、未获分文报酬，联邦警察等多部门于6月下旬联合解救；但『55年』这一耸动数字目前只见于媒体推算，官方通报并未直接确认，案件更像是巴西稽查体系近两年明显收紧后浮出水面的又一例。
陶哲轩为什么敢让AI裸写代码,却不敢让AI裸写证明
陶哲轩用AI编程代理几小时内复活了自己1999年写的24个Java applet,还顺手做出当年放弃的时空图可视化工具。真正值得琢磨的不是AI又立功了,而是他对AI的信任是分层的:证明环节死磕Lean验证,可视化教具却直接裸信AI生成的代码。
96亿美元买下海鹰队,NFL却把控制权写给了他的妻子
Vinod Khosla家族以约96亿美元买下卫冕冠军西雅图海鹰队,但签在控制人位置上的是他的妻子Neeru Khosla,而不是身家更高的Vinod本人。这笔交易目前仍待8月NFL球队主投票,尚未真正落地。