TC分享第 302 期

2026 week 41

新闻思考

这周，OpenAI 在 GitHub 上发布了一个名为 ⁠Math 的项目，一口气公开了 722 篇由 AI 生成的数学论文，涉及 372 组研究成果，涵盖数论、几何、代数等多个领域，其中不乏困扰数学家多年的世界级难题。这件事迅速震动了数学界，但也引发了巨大争议。菲尔兹奖得主陶哲轩的博客转载了人类数学协会（AHM）的公开声明，批评 OpenAI 一次性发布数百篇论文，却没有充分考虑数学界的验证成本，甚至呼吁数学家停止与 OpenAI 合作。而这些论文的质量也确实参差不齐：目前只有约 42% 的主要结果完成了 Lean 形式化验证，发布仅一天后，OpenAI 就因为证明错误撤回了其中 3 篇论文，并对另外多篇进行了修订。需要注意的是，700 多篇论文并不意味着解决了 700 多个独立难题，更不代表所有成果都已经得到数学界认可。

对于这件事，我有两个感受。首先，AI 的进步速度实在令人咋舌。去年这个时候，我们还在讨论 AI 能不能达到顶尖大学生数学竞赛的水平，如今它已经开始批量挑战世界级数学难题，甚至在部分领域取得了实质性突破。这样的进步速度，很可能意味着我们正在经历数学研究范式的转折。但另一方面，我也觉得 OpenAI 这次的做法有些不负责任。AI 生成数学论文的速度，已经远远超过人类验证它们的能力，而真正判断这些复杂证明是否成立，仍然需要投入大量数学家的时间和智慧。这让我想到程序员如今面临的困境：AI 每天可以生成成千上万行代码，大部分时候确实能运行，但认真阅读、理解和验证这些代码，却是非常耗时耗力的事情。很多人已经逐渐放弃 Code Review，一方面是代码实在太多，根本看不过来；另一方面是理解 AI 的实现逻辑本身就需要大量精力。AI 写代码可能只需要几分钟，但要保证它真正正确、可靠，仍然需要反复测试和调试。有时候，生成代码节省下来的时间，又被验证和修复问题消耗掉了。数学研究也是如此，只不过验证的代价可能更加高昂。当 AI 一口气扔出几百篇动辄几十页、上百页的论文，却要求人类数学家去判断对错时，这究竟是在推动科学进步，还是在把验证成本转嫁给整个学术界？

不过，无论如何，我依然认为这是一次具有划时代意义的进展。过去，数学研究主要依赖少数顶尖数学家的智慧和长期积累，而现在 AI 已经开始展现出规模化探索数学前沿的能力。也许未来的数学家不再需要亲自完成每一步证明，而是更多地提出问题、判断方向，再借助 AI 理解和验证另一个 AI 提出的解法。未来真正稀缺的，可能不再是生成答案的能力，而是判断答案是否正确，以及理解答案为什么重要的能力。当然，AI 还远远没有攻克整个数学，但这次事件让我越来越相信，数学研究的速度将会显著加快。如何让 AI 的发现能力与人类的理解、验证能力共同进步，或许才是接下来最值得思考的问题。

科技新闻

【1】瑞典皇家科学院决定将2026年诺贝尔物理学奖授予弗朗西斯·哈尔岑（Francis Halzen），以表彰他"对冰立方中微子天文台作出的决定性贡献，以及对天体物理起源的高能中微子的发现"。 2026年诺贝尔物理学奖给了弗朗西斯·哈尔岑。他干了件近乎异想天开的事，用南极的冰川，去抓宇宙里最“害羞”的中微子。中微子不带电、质量几乎为零，每秒有650亿个太阳来的中微子穿过你的小指指甲，你毫无察觉。但正是这种极少碰撞的粒子，能笔直地把信息送到地球。宇宙侦探：捕捉“幽灵粒子”

【2】华为官宣：与高通达成重磅协议

【3】腾讯从甲骨文租赁10万枚芯片，以加快人工智能竞赛步伐腾讯与美国云服务提供商甲骨文（Oracle）签署了其最大的海外租赁协议。据两位知情人士透露，腾讯今年同意了一项为期五年的租赁协议，涉及甲骨文位于东南亚多个数据中心的设施。该协议使腾讯能够获得约10万枚在中国无法获得的先进人工智能芯片，以进一步推进其人工智能模型和开发代理工具。该协议估计价值约70亿美元，首付比例为30%。这导致腾讯第二季度财报中自由现金流为负138亿元人民币（20亿美元）——这是十多年来的首次季度负值。国内供应短缺以及美国出口管制收紧，促使中国科技集团在海外寻求更多算力。尽管腾讯正通过数十亿美元的租赁协议迎头赶上，但字节跳动（ByteDance）和阿里巴巴仍是东南亚数据中心的最大客户。随着美国收紧出口管制，海外对先进AI芯片的需求进一步加剧。这导致数据中心租赁协议的价格上涨、期限延长以及首付比例提高。

【4】微信悄悄上线了自己的免费短剧产品，不用下载 App，微信里一点就能看红果果绿泡泡…

【5】a16z：我们的 Top 100 消费级 AI 应用第七版来了。这次新增：一个收入排行榜，与往常的网页和移动端流量排名并列。三年前我们发布了第一版。当时 ChatGPT 排名第 1，Claude 尚未上榜，整个类别基本只有聊天机器人、图像生成器，没什么别的。在今天的版本中：

ChatGPT 依然稳坐王位，现在移动端月活跃用户超过 10 亿
Claude 已攀升至网页端第 3 名，月访问量近 10 亿
该类别已扩展到氛围编码（Lovable、Cursor、Replit）、音乐（Suno）、设计（Figma）、语音（ElevenLabs）、视频（Higgsfield、Kling）、智能体（Manus），甚至硬件（Plaud）

【6】欧盟很多人在愤怒，强制给AI输出内容打水印，对欧盟是否有任何好处。

【7】越南科技业陷入“AI人才荒” 越南科技业正面临严峻的“人工智能（AI）人才荒”。尽管越南企业开出比一般科技岗位高出约50%的丰厚薪资，但招募AI工程师仍是一大挑战。

优秀的项目

【1】morluto/rea

Reverse engineer anything with agents, from app behavior down to native binaries.

GitHub: ⭐ 111,110 · Forks 24,726 · Updated 2026-10-12

【2】storytold/artcraft

ArtCraft is an intentional crafting engine for artists, designers, and filmmakers

GitHub: ⭐ 18,379 · Forks 3,007 · Updated 2026-10-11

【3】chrislgarry/Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

GitHub: ⭐ 74,308 · Forks 8,111 · Updated 2026-07-15

【4】qufei1993/skills-hub

A cross-platform desktop app to manage Agent Skills in one place and sync them to multiple AI coding tools’ global skills directories — “Install once, sync everywhere”.

GitHub: ⭐ 1,756 · Forks 199 · Updated 2026-10-11

【5】guokaigdg/naive-icons

A library of hand-drawn SVG icons in a naive folk art style 手绘 naive folk art 风格的 SVG 图标库

GitHub: ⭐ 184 · Forks 5 · Updated 2026-10-11

优秀的文章

【1】中国景区为什么满足不了中国游客？

【2】$1 亿美金 ARR，我的 48 条反思

【3】The AI Race Just Got Awkward | insufferable.dev

优秀的视频

【1】[youtube]Astronaut Pikachu gets a private tour of the ISS

【2】[youtube]Creating Muse: The Fastest-Growing AI Product Since ChatGPT | Alexandr Wang, Meta

【3】[youtube]Single at 37: The reality of aging alone

【4】[bilibili]⚡️黄仁勋世界巡演⚡️【AI MV大赛】

有趣的事情

【1】有人已经蹭上流量了，网友直播猛踩尊界V800刹车，礼物收不停

【2】网友说是医院真实所见

【3】“坑爹的银行AI客服，目的就是阻止你转人工” 上海证券报的记者前几天做了个实测，挑了6家国有大行、4家股份制银行、4家城商行、2家农商行，一共16家，在工作日下午和双休日上午两个时段分别拨客服电话，问的是大额存单的额度门槛和期限、借记卡境外取现手续费这类常规业务，就想看看找个真人到底有多难。结果16家只有4家给人工留了直达入口，其余12家都得先跟智能语音兜好多圈子。智能客服省钱是真省钱，随便一家省级分行都能至少省一整层楼的人力，指望任何人退回去都不现实，趋势没什么好讨论的，关键是以后怎么办。上海证券报的测试是经过设计的，16家银行里，北京银行、江苏银行、渝农商行按一下键就能到真人，其中一家还主要是接投诉的。剩下12家，菜单上你就听不到转人工这三个字。六家国有大行全部用上了智能客服，也没留人工直入的口子。建行在接入人工的路上，还得多按一次键确认继续等待。邮储银行更曲折，记者说转人工，系统回一句我没明白您的意思，记者再说一遍，系统回我没听到您的声音，来回三次，屏幕上才跳出请选择需要的人工服务类型，从拨号到真人接听，2分41秒。股份制银行里，浦发会提示目前人工服务繁忙，建议通过手机银行在线咨询，招行会提示智能小招也可以为您办理。沪农商行的路径是，先说业务类型，转人工，AI追问请描述得具体一些，重复一遍，AI坚持请说出您要的业务，三轮之后，选语言类型，再选人工类型，等你听到人声，2分28秒过去了。真进到队列里等，其实不算慢。工作日多数银行10秒内就接通，慢一点的一分钟。双休日差一些，普遍半分钟到一分钟，个别超过两分钟。真正耗时间的，是前面那几道关，等人那会儿功夫反倒是最快的环节。如果你没耐心，那正好别接人工了呗，现在AI客服的作用，一大半都是阻挡住你找到真人的。

【4】哪怕慈禧来了，今天的颐和园她也进不去

【5】还真是

【6】泰山山顶等待看日出的游客。图片来自抖音周

【7】又在发什么癫

【8】李有田估计也没想到在《狂飙》播出3年后，突然翻红了…

【9】有网友向段永平借一个亿买纳斯达克指数，段永平：你觉得我是弱智吗？

【10】北京街头啥都有，一个卖凉皮的

【11】。

【12】“我要感谢特朗普总统为美国和世界所做的一切。”——埃隆·马斯克

【13】10月6日，一名飞行员驾驶着一架塞斯纳 R182 Skylane (N1810R)从阿肯色州本顿维尔市机场起飞，耗时5小时19分钟，在美国中部天空上用航迹绘制了一幅巨大的万圣节快乐HAPPY HALLOWEEN，甚至还栩栩如生地绘制出了一只幽灵👻，这大概是迄今为止最精确的一幅航迹画作了吧高企的油价似乎没对飞行员造成太大影响