紀春生

tech & media | co-host of pretty nuts

[紀春生 @jichunsheng]

川普政府拟取消 H-1B、H-1B1、L-1、O-1、E-1、E-2、E-3及TN等工作签证持有人失业后的最长60天宽限期。DHS已正式提出规则修改，但目前仍处于拟议和公众评论阶段，尚未正式生效：

美国国土安全部 DHS / USCIS 的拟议规则“Eliminating the Discretionary 60-day Grace Period”，RIN 1615-AD22，计划于9月11日刊登在<Federal Register>。文件明确提出删除 8 CFR 214.1(l)(2) 中“最长60天的酌情宽限期”。受影响签证包括 E-1、E-2、E-3、H-1B、H-1B1、L-1、O-1 和 TN，以及依附于这些身份的家属。

这意味着，如果最终规则按目前文本实施，这些工作签证持有人在被解雇、辞职或雇佣关系结束后，将不再自动拥有目前最长60天的时间来寻找新雇主、转换身份或安排离境。DHS在文件中甚至将相关章节写为“Requiring Nonimmigrants to Depart Upon Cessation of Employment or Activity”。

不过目前仍处于 Notice of Proposed Rulemaking（拟议规则）阶段，并没有立即生效。正式刊登后还要开放60天公众评论，之后DHS才可能发布最终规则；目前现行的60天宽限期仍然有效。

[紀春生 @jichunsheng]

周三晚，纽约港上空升起2977架无人机，以世贸中心双子塔轮廓组成纪念灯光秀。每一架无人机象征一名9·11袭击遇难者，以纪念事件25周年。

[紀春生 @jichunsheng]

🥹🥹🥹

[ketamine snoopy @egodeathceo]

I can’t explain why but if you want a foldable phone you are spiritually Chinese

[紀春生 @jichunsheng]

Chris Rock近日接受<Variety>采访时谈到川普与美国媒体。他明确表示自己“并不是川普的粉丝”，但认为川普至少在一件事上说对了：“新闻是假的（The news is fake）”。

Rock说：“很奇怪，当一个人有一件事说对了，这一件事几乎能让人忽略他其他所有的罪过。新闻是假的，这一点他说对了。”

<Variety>同时提到，Rock早在2016年大选前就是少数公开预测川普会获胜的明星之一。

[紀春生 @jichunsheng]

美国最高法院周四再次阻止密苏里州在11月中期选举中使用共和党去年重新划定的国会选区地图。该地图是在川普推动下于正常重划周期之外制定，主要调整堪萨斯城第5选区，被认为有利于共和党争取目前由民主党掌握的席位。此前密苏里州最高法院裁定，新地图须先经选民公投，因此11月应继续使用2022年以来的旧地图。

周二，大法官 Brett Kavanaugh 拒绝恢复新地图，但几分钟后联邦法官 Stephen Clark 又裁定必须使用新地图，理由是初选已经按新地图举行，临时换图可能造成候选资格和选民混乱。案件随后再次上诉至最高法院，周四的最新裁决推翻了联邦法院的临时安排，使旧地图重新成为11月大选的适用方案。

https://t.co/NoVxc8iNH9

[紀春生 @jichunsheng]

“纽约之王” Jalen Brunson 将在9月26日担任SNL新一季首期主持人，女团 Katseye 担任音乐嘉宾。

另外，10月3日，Dakota Johnson 将为新片<Verity>宣传并担任主持人，Turnstile 首次登上 SNL；10月10日，hane Gillis第三次主持，Rosalía 第二次担任音乐嘉宾。

休息两周后，10月31日万圣节回归。因惊悚片<Obsession>走红的 Inde Navarrette 将首次担任主持人，Gracie Abrams 第二次担任音乐嘉宾。

[Saturday Night Live @nbcsnl]

FIRST FOUR OF SEASON 52!!!

[紀春生 @jichunsheng]

在今年的阿拉斯加州博览会上，“滑水松鼠”Twiggy再次登场。小松鼠穿着迷你救生衣，踩着滑水板被遥控快艇牵引前进。

Twiggy 其实不是某一只松鼠的名字，而是这个表演的“艺名”。最早的 Twiggy 是 Chuck 和 Lou Ann Best 夫妇在 1978 年收养的一只小松鼠，后来 Chuck 开玩笑说要让它跟着女儿的遥控船学滑水，结果真的训练成功了。1979 年开始公开演出，此后因为松鼠寿命有限，Best 家族陆续训练了多只松鼠，都以 Twiggy 的名字登台。

现在这个节目由第二代 Chuck Best Jr. 等人继续经营。过去的“Twiggy”还上过<王牌播音员 Anchorman>，<Dodgeball>。1997 年 Chuck Best Sr. 在一次水上事故中救人后去世，家人此后还把“穿救生衣、宣传水上安全”加入了 Twiggy 的表演，所以现在你看到松鼠身上通常都会有一件迷你救生衣。

[紀春生 @jichunsheng]

今晚Jimmy Kimmel在节目中宣布，原定明晚在ABC播出的对德州民主党参议员候选人James Talarico的专访将不再通过电视播出，而改为上传YouTube。Kimmel称，FCC针对节目嘉宾选择等“传统编辑决定”向他本人、节目、ABC及地方附属电视台施压威胁。

这并非首次发生类似情况。今年2月，Stephen Colbert对Talarico的采访也因FCC“平等时间规则”（equal-time rule）方面的顾虑未在CBS电视播出，转而放到YouTube。

FCC方面的理由主要是“候选人平等机会规则”（equal opportunities/equal-time rule）：如果广播电视台让一名依法登记的候选人上节目，原则上需要向同一竞选中的其他候选人提供相当的播出机会。过去像深夜脱口秀通常可以依据“真实新闻采访”（bona fide news interview）豁免，但现在的FCC认为，这种豁免并不是所有脱口秀自动享有的，而要具体判断节目选嘉宾究竟是基于新闻价值，还是存在帮助或打击某位候选人的政治目的。因此，ABC及其地方电视台如果播出James Talarico的专访，就可能面临其他候选人要求同等播出时间以及FCC审查的风险。

需要注意的是，FCC目前并没有公开下令“禁止Kimmel采访Talarico”；更准确地说，是FCC改变/收紧了对相关规则的解释和执法态度，使电视网选择规避监管风险，而YouTube不受这套广播电视规则约束。

[紀春生 @jichunsheng]

今天的共和党中期选举大会在达拉斯独行侠主场：美国航空中心举行，川普甚至聊到了关于Luka的交易：

“我必须说，我真搞不懂这笔交易。这交易可不怎么样。我懂啥篮球啊？是 Luka 对吧？

。。。

也许我们可以把这笔交易重新做一遍？我可是一天到晚都在重新谈交易。”

[紀春生 @jichunsheng]

川普今天在达拉斯举行的共和党中期选举大会上表示，如果共和党在11月中期选举后继续控制参众两院，他将推动向每名美国成年公民发放5000美元，但这笔钱需要在美国国内消费。

美国约有2.45亿成年公民，如果全部符合资格，总成本将达到约1.23万亿美元。川普目前尚未公布资金来源、资格标准或具体立法方案。

https://t.co/2S2ikZSROU

[紀春生 @jichunsheng]

Rubio私下表示不会参选2028，如果JD Vance参选，他将全力姿瓷。

https://t.co/82fifytVYd

[紀春生 @jichunsheng]

John Fetterman今晚为共和党在达拉斯举行的“Republican National Midterm Convention（共和党全国中期选举大会）”录了一段大约64秒的预录视频，在大会现场播放，用来介绍宾夕法尼亚州共和党参议员 Dave McCormick 登台：

“是的，我是宾夕法尼亚州参议员 John Fetterman。是的，我是一名民主党人。为什么我今天会在这里和你们讲话？因为我是一个讲常识的民主党人。

我永远都会站在美国这一边。我永远都会拒绝那些极端主义、社会主义，以及那种反美国的生活方式。

Dave McCormick 是那种真正能够把事情做成的参议员，他会为宾夕法尼亚州而战。我很自豪能够把他称作我的朋友。

看我身后的这个地方，那就是标志性的美国钢铁公司钢厂。这正是我们能够共同合作的事情。我们会一起努力，也会和川普总统合作，为这里钢铁谷的‘钢铁生活方式’而战、保护它。

今天我有机会向大家介绍这位伟大的美国人、一位出色的参议员。是的，他属于另一个政党，但我很自豪能够把他称为我的好朋友。

所以，达拉斯的各位，我在这里向大家介绍 Dave McCormick。”

[紀春生 @jichunsheng]

多邻国和三星背后阴阳iPhone Duo。

[Duolingo @duolingo]

they named a phone after me and made it bend over 😭

[紀春生 @jichunsheng]

任天堂今天在&lt;塞尔达传说&gt;40周年特别发布会上公布多项重磅消息，其中最受关注的是&lt;塞尔达传说：时之笛&gt;将登陆 Switch 2，并以全面重制形式推出，画面、音乐、镜头与操作系统都将大幅升级。

然后白宫社媒小编。

[Nintendo of America @NintendoAmerica]

Adventure through Hyrule and become the Hero of Time when The Legend of #Zelda: Ocarina of Time releases Nov 5 on Nintendo Switch 2. #NintendoDirect

[紀春生 @jichunsheng]

OpenAI 今天宣布一个尚未发布、能力显著超过 GPT-6 Astra 的下一代模型，通过约 1 万个 AI agents 协作，仅用 88 小时构造出一份 Navier–Stokes 千禧难题的反例证明：某种原本完全光滑、甚至从静止开始的三维流体，在受到光滑外力作用后，可以在有限时间内产生“奇点”，即速度趋向无穷大。OpenAI 同时公开了数学论文和 Lean 形式化证明。不过，目前它仍然是一个刚刚公布、等待数学界审查的“候选解决方案”，还不能说已经获得 Clay 数学研究所正式认证。

Navier–Stokes 方程就是描述空气、水等流体如何运动的基本方程，航空设计、天气模拟、血液流动等都离不开它。麻烦在于：即使你给它一个非常平滑、正常的初始状态，数学上能不能保证这种平滑状态永远保持下去？

1934 年法国数学家 Jean Leray 已证明，一种比较宽松意义下的“弱解”是存在的。但没人能证明三维情况下，解会不会突然出现一个“奇点”，比如某个区域越旋转越快，最终速度在有限时间内趋向无穷。这就是所谓的 existence and smoothness 问题，也是为什么说它悬而未决“约 90 年”。2000 年 Clay 数学研究所把它列为七个“千禧年大奖难题”之一，奖金 100 万美元。

之前七道题中，只有庞加莱猜想已经被 Perelman 解决。

OpenAI 不是证明“所有 Navier–Stokes 流体都会爆炸”，也不是证明最常被讨论的“无外力情况下必然出现奇点”。

Clay 对这个难题其实给了 A、B、C、D 四种可接受的解决方式：你可以证明解永远光滑，也可以构造一个满足条件、最终发生 breakdown 的反例。其中 C、D 明确允许存在一个足够光滑的外力 f。OpenAI 声称解决的是 C 和 D。

OpenAI 表示，8 月 28 日开始训练一个新的内部模型。这个模型在数学 benchmark 上突然出现“step-function improvement”，也就是不是一点点提升，而是能力跃迁，而且目前甚至还在继续训练。

9 月 1 日，OpenAI 听到传闻，说有人可能解决了两个重大数学问题。于是决定干脆测试这个新模型：把所有尚未解决的 Millennium Prize Problems 都扔给它试。

他们部署大量 AI agents，让不同 agent 群组尝试不同方向，可以读缓存版互联网、运行代码并互相交换结果。Navier–Stokes 最终动用了大约 10000 个并行 agents。有趣的是，它们首先攻克了另一个相关问题：三维 Euler 方程的无外力有限时间奇点问题。因为 Euler 方程可以理解为“把 Navier–Stokes 的黏性项拿掉”。OpenAI 随后把这些结果喂给更多 agents，把大量算力集中到 Navier–Stokes 上。

约 88 小时后，9 月 5 日找到 Navier–Stokes 构造。整个 Navier–Stokes 项目大约产生：270 万条 agent 消息、1300 亿 output tokens。然后又花约 17 小时，使用 GPT-6 Astra 把数学证明形式化成 Lean，让计算机逐步检查逻辑推导。

在 OpenAI 开始行动之前，纽约大学数学家 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 已经研究相关问题很长时间，而且大量使用了 Claude 和 OpenAI Codex。他们在今年 8 月取得重要突破，解决的是与这条路线密切相关的 forced Euler equation（带外力 Euler 方程）有限时间 blow-up 问题。OpenAI 自己承认9 月 1 日之所以突然发动 Millennium Problems 大规模攻击，就是因为听到了有人取得突破的传闻。后来他们才知道，这个传闻指的正是 Buckmaster 和 Alpöge。于是就产生了一个非常敏感的问题：

两个人花了大约一年寻找方向，OpenAI 听说他们快成功以后，直接投入一万多个 agent 和数百万美元级别的算力，几天之内跑到了他们前面——这算不算“抢跑”？

Buckmaster 对此公开表达了强烈不满，并且还担心，因为他们研究过程中使用过 Codex，OpenAI 有没有可能通过用户数据知道他们正在研究什么。OpenAI 的说法则是：研究人员和 agents 在证明完成前没有看到 Buckmaster/Alpöge 的任何具体研究内容，也没有访问他们的具体用户数据。同时 OpenAI强调，两边最终证明的方法和结果实际上也有明显差异：Buckmaster/Alpöge解决的是 forced Euler，而 OpenAI 声称进一步解决了 unforced Euler + forced Navier–Stokes。

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[紀春生 @jichunsheng]

&lt;南方公园&gt;讽刺川普改名，发声明将新一季名字改成“南美洲”：

“受到苹果和谷歌所展现出的勇气与爱国精神的鼓舞，我们决定将&lt;南方公园&gt;改名为&lt;南美洲&gt;。我们尤其要感谢我们的母公司派拉蒙——一家向 Skydance 投降的公司。”

[South America @SouthPark]

Following their Emmy win for Outstanding Animated Program, South Park is making a big change. Creators Trey Parker & Matt Stone announce:

“Inspired by the bravery and patriotism of Apple and Google, we are changing the name of South Park to SOUTH AMERICA. We especially want to thank our parent company Paramount -- a Skydance Capitulation.”

The 29th Season of the award-winning series will premiere Wednesday, September 16th, at 10pm ET/PT on Comedy Central.

New episodes will be available to stream on Paramount+ around the world, with next-day availability in the U.S., Canada and Australia.

[紀春生 @jichunsheng]

Ivanka在哥斯达尼加瓜纳卡斯特海滩骑马。

[紀春生 @jichunsheng]

单手把玩1100万美金是怎样一种感觉。

[紀春生 @jichunsheng]

劳动节一大早，川普连发7条将”新墨西哥州“改名为“新美国州”的梗图帖。