TC分享第 292 期

2026 week 31

本周摄影：

新闻思考

近日，西班牙位于北非的飞地休达（Ceuta）再次成为欧洲关注的焦点。短时间内，大量人员从摩洛哥方向进入休达，其中不少人游泳绕过海岸防线或翻越边境围栏，引发了严重的人道主义和边境管理问题。这起事件不仅造成多人伤亡，也迅速牵动了整个欧洲的神经。随后，意大利宣布恢复针对来自西班牙方向的临时边境检查，以防止非法移民进一步进入其他申根国家。不过，根据最新情况，绝大多数进入休达的人员已经返回摩洛哥，局势也逐渐趋于平稳。

很多人可能会觉得，这只是一起普通的非法移民事件。但事实上，它之所以引起欧洲如此大的政治反应，并不仅仅是因为进入休达的人数众多，而是因为它触碰到了欧洲当前最敏感的话题之一——移民、边境与申根制度。

很多去过欧洲的人都会有这样的印象：从法国开车进入德国，几乎不会遇到边境检查，仿佛国家之间根本没有边界。然而，事实并非如此。欧洲的边境从来没有消失，海关大楼、检查站和边境设施一直都保留着，只是在正常情况下不进行检查。1985年签署《申根协定》，1995年正式取消大部分内部边境检查后，欧洲才逐渐形成今天自由流动的申根区。但这种自由流动并不意味着边境被彻底取消，一旦遇到疫情、恐怖袭击或移民危机，各国依然可以依法恢复临时边境检查，而近年来这种情况已经越来越常见。

这次休达事件让我意识到，欧洲今天面临的真正难题，并不是要不要帮助难民，而是如何在维护人道主义、保障国家安全以及维持社会承受能力之间寻找平衡。

欧洲曾经因为申根制度成为世界上跨境流动最自由的地区之一，这不仅方便了普通人的生活，也支撑着整个欧洲的经济和产业链。然而，开放的前提始终建立在成员国之间的互相信任，以及对外部边境的共同管理之上。当大规模移民不断冲击这一体系时，各国首先考虑的往往还是本国社会能够承受多少压力。

现在内部合作依然存在，但边境管理越来越严格；申根制度仍然保留，但临时边境检查越来越频繁；欧盟继续强调共同承担责任，同时也不断加强与摩洛哥、土耳其、突尼斯等周边国家合作，希望尽可能把移民压力控制在欧盟之外。

我认为，未来十年，欧盟不会因为移民问题而放弃申根制度，因为自由流动带来的经济价值实在太大。但欧洲也不太可能回到二十年前那个更加理想化、强调开放边界的时代。如何在人道主义责任、国家主权和社会稳定之间找到新的平衡点，仍然会是欧洲长期面对的一道难题，而类似休达这样的事件，也很可能不会是最后一次。

科技新闻

【1】月之暗面真把Kimi K3开源了。 2.8万亿参数，全球最大开源模型，深夜上架Hugging Face，半小时冲上趋势榜。参数之外，这次开源很彻底——模型权重、47页技术报告、训练方法，连底层通信库和沙箱系统都一起甩出来了。马斯克留了句“Impressive”。海外厂商当天就宣布适配，华为昇腾、阿里云也同步跟进。上周五，Kimi组织在北京的一个酒吧举行了庆功活动。地点是一个叫迈阿密的酒吧，kimi搞了一块屏，展示了他们的豪言壮志：K3，扩容升级！K4，给我狠狠干到极致！冲上月球！

【2】#豆包飞书火山引擎组织调整##字节跳动ToB战略升级 #字节大模型ARR超40亿美元#7月30日，字节跳动启动面向 AI 业务的组织调整，加强豆包、飞书、火山引擎在企业生产力场景的产品与服务协同。根据调整方案，飞书产品团队与豆包产品团队将整合，成立新的豆包产品团队，GTM （市场、销售、客户服务）体系方面，飞书GTM团队将与火山引擎团队整合，成立新的 ToB GTM 组织“创造力服务平台（Creativity Service Platform）”，整体负责字节 MaaS和SaaS等云服务的市场、销售和客户服务。重组完成后，除原有的飞书产品和服务保持不变，飞书还将和豆包在生产力场景进行更深度的产品协作。此次组织整合背后，是字节正在进一步提升AI to B战略的优先级。

【3】#特斯拉辟谣出售中国业务##特斯拉回应出售中国业务传闻 7月31日，有消息称特斯拉正考虑剥离中国业务，此举是为未来与SpaceX的潜在合并铺路。特斯拉中国方面就此回应称此为“不实消息” 。

【4】OpenAI新大模型解决了10个菲尔兹奖级别的数学问题 OpenAI的下一代模型Astra刚刚在数学界投下震撼弹：一口气攻克10个悬停至少十年的数学难题，成本仅2000美元，其中单个成果就被认为是“菲尔兹奖级别”；同一天，刚拿到菲尔兹奖的顶尖数学家Jacob Tsimerman宣布加入OpenAI，并预言“两年内AI将在所有数学证明上超越人类”。 Astra 的一个内部版本，OpenAI 下一代模型系列，解决了数学、量子复杂性和理论计算机科学中的 10 个主要开放问题。

高维球堆积（High-dimensional sphere packing）精确确定了 Cohn–Elkies 线性规划的渐近强度，改进了高维空间中的一般堆积界，并渐近解决了对应的 Fourier 符号不确定性问题。
二元码与球面码（Binary and spherical codes）对固定距离的二元码和球面码，经典上界在所有参数下都改进了指数因子；球面构造还恢复了球堆积指数。
非 sofic 群（Non-sofic groups）构造了一个显式的非 sofic 群，解决了“每个可数群是否都有有限置换近似”的问题（使用 property-(T) 扩张器和二元 Leavitt 代数）。
Connes 刚性猜想（Connes’s rigidity conjecture）构造了无限多个两两不同构的 property-(T) 群，它们具有相同的群 von Neumann 代数，从而证伪了 Connes 猜想，并回答了相关有限对一问题。
算术电路复杂性（Arithmetic circuit complexity）对 permanent 函数，给出新的电路下界：无除法电路需要 Ω(n² log log n) 个门，公式需要 Ω(n⁴ / log n) 个叶子。
量子并行重复（Quantum parallel repetition）证明了每个有限双人纠缠博弈都具有指数级并行重复性质，将经典重复原理扩展到之前未覆盖的量子博弈类。
最近向量问题（Closest vector problem）从 3SAT 直接归约，给出欧几里得最近向量问题的 n^{1/400}-因子硬度，并带来二元解码和其他格范数的相关后果。
Ehrhart 体积猜想（Ehrhart’s volume conjecture）证明了：对于重心是唯一内格点的凸体，在所有维度上都成立尖锐上界 (n+1)^n / n!。
多色 Ramsey 数（Multicolor Ramsey numbers）给出超指数下界，证明 R_k(3) = k^{Θ(k)}。
紧性与退化性（Compactness and degeneracy）用两个独立的二部图构造，分别证伪了极值图论中的两个猜想：Erdős–Simonovits 的紧性猜想，以及 Erdős 的一个退化性猜想。这些结果由 Astra 生成证明草稿，再经人类协助整理并以 Lean 形式化验证。 OpenAI 也是真给国际数学联盟面子，没有在上周的国际数学家大会期间公布 Astra 的这十项结果而是过了一周，否则感觉会略有一丝尴尬。

【5】AI网袭引发监管风暴专家呼吁设全流程审查与跨境协调机制人工智能（AI）模型频繁展现出突破安全隔离与自行侵入网络的能力，引发国际社会对现行监管机制的深刻反思。多名权威法学与技术专家呼吁，政府应尽快建立贯穿模型开发全过程的监管体系，并推动跨国监管协调，避免将公共安全寄托于科技巨头的自律。

【6】Anthropic承认AI测试期间擅自入侵三家外部机构 #人工智能#公司#Anthropic#星期四承认，其人工智能（#AI#）模型在原本应与现实世界系统隔离的测试过程中，未经授权进入三家外部机构的系统，再次引发外界对先进AI模型安全风险的关注。

【7】阑夕 ChatGPT的周活跃用户终于达到10亿了，比预期计划要迟了半年。不过这主要也是因为从去年年底开始，整个AI行业都被Anthropic带到B端市场去了，90%以上的C端用户分逼不掏，获客优先级被大大降低了。（用梁圣的话来讲，是赶都赶不走⋯⋯）目前，ChatGPT的订阅用户差不多在5000万的量级，也就是转化率只有5%，这些用户加上广告，贡献了250亿美金的收入，大约占到总帐的40%-50%，换算下来OpenAI的年化收入接近500亿美金。同时Anthropic的年化收入好像已经700亿美金往上走了⋯⋯

优秀的项目

【1】usekaneo/kaneo

🎯 All you need. Nothing you don’t. Open source project management that works for you, not against you.

【2】Panniantong/Agent-Reach

Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.

【3】iv-org/invidious

Invidious is an alternative front-end to YouTube

【4】zhaoxuya520/reverse-skill

Reverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code, Kiro, Cursor, Cline, and other AI coding clients 逆向/渗透/安全技能路由包 - AI 自动路由 + 按需自举工具链 + 自动进化经验库 | 支持 Claude Code / Kiro / Cursor / Cline 等代码 AI 客户端

优秀的文章

【1】Taste Is Not a Skill. It Is a Form of Judgment.

【2】Why frontier labs are scaling-pilled — LessWrong

【3】How Google helped destroy adoption of RSS feeds

优秀的视频

【1】[youtube]Jeff Dean: The 1% Rule for Building in AI

【2】[youtube]Peter Thiel - Competition Is For Losers - Stanford CS 183B Autumn Quarter 2014-2015

有趣的事情

【1】“老头”是对“70后”“80后”乃至“90后”男性的戏称……

【2】洛阳纸贵

【3】安徽卫视开播AI短剧，引发网友热议。你们怎么看

【4】媒体：告别美签执念，每年8万非洲学子选择中国

【5】王虹曾经就读的高中，桂林中学，召开王虹科学家精神学习交流会！

【6】《新民周刊》帮董宇辉算了笔账。看500遍大话西游是什么概念:“董宇辉1993年出生，今年33岁，假设他10岁开始看《大话西游》，至今23年，需要每年看22遍，差不多一个月要看2遍”

【7】@张宏杰现在元朝也要被干没了。

【8】一万元……沪爷多来玩啊～

【9】还得是真人程序员

【10】中法美各有不解 2021年，碧桂园20亿拿下9.01亿股长鑫，这个仓位今天可以卖到400亿，而碧桂园市值目前不足百亿。但地产寒冬，碧桂园在持仓三年后，在资金压力下壮士断腕，将长鑫股份原价转给了合肥国资，这时长鑫上市已经肉眼可见了。（via：曹山石）所有人都可以使用的临时限免服务（无图卦及音频，无下载）微信搜一搜：喷嚏网会员服务来源：喷嚏网 (海外访问，请加：https) 【无需App在移动设备上看喷嚏】在浏览器地址栏输入喷嚏网址即可：www.dapenti.com ，推荐chrome浏览器。