卧龙私塾

2026 IMO中国满分屠榜，上海中学横扫金牌！GPT-5.6再现AlphaGO时刻

Mon, 20 Jul 2026 11:49:59 +0800

新智元报道

祝贺中国队！

在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！

中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。其中来自上海中学的邓乐言，张柏伦，来自华东师范大学第二附属中学的刘澈，以满分的成绩获得金牌。

据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！

此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

祝贺所有获奖选手！祝贺所有参加决赛的少年天才！

美国副领队刘洋在现场拍摄的中国队和美国队的合影

中国选手本土作战，IMO首次在中学举行

据了解，本次国际奥赛IMO 2026是第67届赛事，2026年7月13日至21日在上海举行，本次IMO中国队的领队为华东师范大学的瞿振华老师。

截至目前，中国队在国际数学奥林匹克（IMO）中已取得197枚金牌、37枚银牌和6枚铜牌的优异成绩。

这是第二次在中国内陆举行该赛事。1990年，第31届国际数学奥林匹克在北京举行。

据公众号「科技大满贯」统计，本次中国队没有高三选手:

作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。2022年以来，连续4年拿下6金。

此外，上海中学多名校友已成长为数学家。比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱……

奥数的AlphaGO时刻

但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

这是这个时代绕不开的背景音。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

这件事当时震动了整个数学圈。结论只有一句：AI做到了人类精英才能做到的事。

但仔细一想，会发现问题。

IMO满分是42分，金牌线通常在28-30分左右。

邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

AI能达到金牌线，靠的是大量算力搜索解题路径，在多次尝试里找到对的那一条。

满分是另一回事——不是「最终找到了答案」，而是「每一步推理都没有错，每一行证明都没有漏洞，每一道题的落笔都精准无误」。

这是两件完全不同的事。

机器逼近的是「会做题」，而这三个少年展示的是「不出错的完美」。

今年，各大实验室照例会拿 2026 年的真题跑分。截至成绩揭晓，尚无官方公开的结果。

但消息已经传来。据报道，GPT-5.6 Pro 在首次尝试中就解出了 2026 年 IMO 的全部六道题，全程没有任何人工提示或引导。

SignalPilot Labs 的独立评估也称，它为这六道题生成了完整解答。

如果这些报道属实，真正值得盯住的，恰恰是「首次尝试」这四个字。

它意味着机器或许正在跨过那条线——从「反复搜索、终于找到」，走向「一次落笔、一步不错」。而这条线，正是我们刚刚还用来分开机器与少年的那条线。

随便一提，OpenAI为所有金牌得主以及玛丽亚姆·米尔扎哈尼奖获得者提供为期12个月的ChatGPT Pro订阅服务。

考场外那个没资格入场的选手，可能已经在门口，做完了门内的人刚刚做完的事。

我国智能算力规模达2185EFLOPS

Mon, 20 Jul 2026 11:46:49 +0800

　　7月20日，工业和信息化部信息通信管理局局长谢存在国新办新闻发布会上说，截至今年6月底，我国智能算力规模达2185EFLOPS，全国算力设施整体上架率达71.4%。近两年围绕国家算力枢纽节点建设超70条算力大通道，相关算力枢纽节点间网络性能提升10%。

三分钟读懂Kimi

Mon, 20 Jul 2026 11:19:19 +0800

自ChatGPT在2022年底登场以来，AI领域如同突破了奇点，几乎是以天为单位飞速发展。新产品不断涌现，本公众号也发表了多篇剖析文章。继年初大放异彩的Sora之后，最近AI领域再度迎来了一位耀眼的新星——Kimi。资本市场上的“Kimi概念股”因此风起云涌，股价接连涨停，Kimi的用户数量更是如火箭般飙升，如下图所示（数据来源：非凡产研）

那么，什么是Kimi，它和其他的大模型产品有什么区别，它的创始团队有何过人之处，具体它和哪些公司有关联，Kimi的崛起对于AI行业的发展意味着什么，我尝试继续用“三分钟读懂”的风格，结合最近公布出来的信息，做一些解读。

Kimi是什么？

答：和ChatGPT、Claude、Gemini、文心一言、讯飞星火这样的产品类似，Kimi是一款面向普通用户（C端）的智能助手，旨在提供高效的信息查询和对话服务。它的访问网址是：https://kimi.moonshot.cn/，目前也提供了手机端，可以从各大应用商店下载“Kimi智能助手”（注意具体名称，防范各种李鬼）：

Kimi这个词是什么意思？

答：开发Kimi的公司，叫做“月之暗面”，英文名是“Moonshot AI”。创始人杨植麟博士在访谈中提到，他认为通用人工智能（AGI）的开发，就如同当年的登月计划（Moonshot），需要全人类的共同努力。”月之暗面“一词，来自于团队很喜欢的专辑Pink Floyd的《Dark Side of the Moon》。Kimi，就是杨植麟的英文名。

Kimi和其他的大模型产品有什么区别？

答：乍看起来，Kimi和其他的C端大模型产品非常类似，用户们已经有点审美疲劳。但是实际使用起来，会有明显的感受，即它的文件理解、内容撰写、数据分析方面，有其独到之处。

虽然目前Kimi没有支持流行的多模态（生成图片、视频）、插件（plugin）和智能体（Agent）功能，但是反倒显得更加专注，因为大部分用户对这些额外功能并没有高频刚需。

目前Kimi引起广泛关注的特点，是支持”长文本“，即能够消化大量的内容，和用户进行持续的交流。这里面涉及到的概念，就是”context window“，即人机对话时，AI需要记住用户输入的文字或者文件内容，并给出相应的答复，简单来说，就是”记忆力“是不是够强。Kimi目前支持200万字，意味着它可以读完用户上传的一个几百页的报告或者书籍，并对这份报告加以总结，或者回答用户问题。

杨博士在访谈中也提到，”长文本“只是一个阶段性的功能，其实质是实现AI的记忆能力（大模型成为电脑的内存），为未来实现AGI奠定基础。

例如下面，我让Kimi总结黄仁勋最近的一个演讲，它几乎没有任何等待地输出了演讲的主要内容：

另外，在结尾处，它还提供了一些围绕演讲内容的辅助问题，让用户可以持续学习：

支持的文本越长，能够消化的报告、书籍就越长，给用户带来的冲击力无疑越明显，这是Kimi在近期引起广泛关注的重要原因。

在Kimi大火之后，阿里、百度也都纷纷推出了对于500、1000万文本的支持能力，但是我实际对比了一下，目前看来Kimi的效果还是略胜一筹。（参见我的实际对比，点击阅读原文可以访问）

根据我的体会，如果您经常需要总结文件/网页内容、阅读大量报告，或者撰写一些不是特别强调创造性的内容（例如总结、报告、计划、信件等），Kimi的使用体验非常好，而且可访问性和响应速度方面也远远由于国外同类产品。

Kimi在技术上有什么特点？为什么可以做到比较好的”长文本“能力？

答：实现“长本文”，需要具备足够的指令检索能力和复杂的数据流处理能力。对于中文而言，还需要有大量优质的中文训练数据（语料）。

文本越长，对参数要求越高。Kimi与GPT一样基于Transformer架构，参数大约2000亿。Kimi会找出长上下文中有哪些关键点，分配相应的权重，再用内部算法（例如独创的文本编码方式）去优化搜索能力。简单来说，自有模型性能足够好。
在中文处理能力上，训练的数据量大概4-5T，全是中文。数据工程团队找了一些用户（创作、自媒体领域）进行一些训练语料的创作，这属于独有数据。这条路径和OpenAI类似，在语料方面需要投入真正的成本。在其他语言上，目前显然不如国外产品，也不是Kimi目前关注的重点。
交互的拟人性和逻辑推理方面，Kimi整体上落后于ChatGPT和Claude，实际使用会有感觉，但是跟国内其他产品比并不逊色。

我知道大模型开发、训练和推理，都需要大量的算力，Kimi是怎么解决算力问题的？

答：根据目前公开的信息，Kimi的算力平台使用的是字节的火山引擎云算力平台，硬件以英伟达GPU为主。没有自己建立数据中心。

目前的算力，足以支撑400-500万用户。事实上因为Kimi的火爆，已经进行了多次扩容。团队也计划在这个用户量级逐渐启动商业化。

Kimi最近已经启动了对C端、B端用户的API接入公测，网址是 https://platform.moonshot.cn/docs/api-reference：

可以预见，随着越来越多B端用户开始访问，Kimi的算力消耗将会指数级增长（不只是算力，也包括云服务的运维和调度资源投入）。

Kimi目前发展到了哪个阶段？

答：Kimi本月的日均新增用户已经达到了24万人左右，目前还是免费提供服务。也启动了API的接入公测。

另外有数据统计，目前Kimi的日活跃用户数已达100万人（60万在小程序，34万在网页端，还有5万在App端），且留存率持续上涨。其App端的下载量（效率类应用免费榜）也已经从2月的百名开外，挤进前十，仅次于豆包（抖音AI智能助手）和文心一言。

融资方面，今年2月，月之暗面逆势完成一笔大额融资。据了解，它以15亿美金投前估值完成超10亿美元B轮，8亿美元来自新股东（阿里、小红书等），2亿美元为老股东跟投（红杉中国、砺思资本等）。美团龙珠曾领投该公司上一轮融资。

该笔交易完成后，月之暗面投后估值约25亿美元——由此，它成为中国大模型赛场上现阶段估值最高的一家独角兽。

Kimi团队有何过人之处？

答：创始人杨植麟博士本科毕业于清华计算机系，博士就读于全美自然语言处理排名第一的卡内基梅隆大学语言技术研究所（LTI)，师从苹果公司人工智能负责人Ruslan Salakhutdinov。曾在ICLR、NeurIPS、ICML、ACL、EMNLP等顶级会议发表论文二十余篇。

杨植麟与导师Ruslan Salakhutdinov(右)、William Cohen (左)合影

目前团队整体100-200人，其中技术（包括算法专家、系统专家、数据工程团队等）人员加起来120人左右。其他包括产品开发团队和企业客户商业化团队。最核心技术人员为20-30人。

目前资本市场上很多”Kimi概念股”，到底哪些是真得跟Kimi有关的？

答：根据东方财富网的报道，主要是这么几家（仅为转述，未经核实）：

深信服：间接参股
华策影视：已经接入Kimi API
人民网：Kimi训练数据的核心合作方和审核方
海天瑞声:为Kimi提供数据训练服务
掌阅科技:接入Kimi API
九安医疗：参股

Kimi未来的趋势是什么？

答：根据团队访谈介绍，Kimi未来主要向三个方向努力：

继续扩大参数规模：参数量越大，文本的处理长度也会随之提升。同时，调用的神经元网络更丰富，幻觉的问题进一步减少。
2024年推出多模态功能：做产品化应用，推出各种插件（其实我个人希望不要做得太杂，就把对话做好就很好）。
文本处理能力继续增长，而且速度会很快，希望文本处理超越亿级（即1亿个中文词）。

Kimi的崛起，对于AI行业的发展意味着什么？

答：我在之前的文章中，介绍了ChatGPT之后的各种事件和技术演进。在Kimi面世之前，普遍的观点是国外做创新，国内做应用（再加一句：欧洲做监管）。因为国外大模型目前对于国内用户都设置了限制，在访问上会相当困难。

如果你用过国内的一些主流的大模型产品，再比较一下国外产品，你可能都会有种“勉强可以用，但是远远达不到预期”的感觉。

Meta的LLama 2开源推出之后，大幅度降低了国内开发各种AI应用的难度。我们一度以为，国内企业只能在垂直行业应用、本土化训练语料方面做点微雕工作。但是，Kimi的出现，让我们看到了国内自创大模型方面依然可以达到一定的高度，甚至在迈向AGI方面，可以从“长文本”角度，走出独立路径的可能性，让我们对国内AI行业的发展，又燃起了希望。

崔伟

信息技术（技术开发）高级工程师证书持证人

Kimi K3需求逼近算力上限，月之暗面暂停新增订阅

Mon, 20 Jul 2026 11:17:09 +0800

7月20日消息，月之暗面宣布，Kimi K3上线后的访问需求已逼近公司现有算力容量上限，公司因此暂停接受新增订阅，并把算力优先分配给现有会员。

公司表示，上线以来的需求超过预期，正在扩充容量，后续将分批重新开放订阅名额，但没有公布具体时间。

这次暂停针对新增付费订阅，不是关闭新用户注册。现有订阅用户的服务不受影响。

会员体系将按通用与编程拆分

算力分配调整的同时，月之暗面还预告将拆分会员体系：Kimi Membership面向Kimi网页版、App和Kimi Work；Kimi Code Membership则面向编程工作流。公司称，这样可以更准确地匹配不同产品的算力需求，保持服务稳定。

Kimi K3于7月16日上线，总参数2.8万亿，已接入Kimi全线产品和API。目前Kimi中文会员页面共设五档，从免费档到最高月价599元（按年付费折算）不等，更高档位提供更大算力配额和更长对话容量。

月之暗面此前承诺，K3完整模型权重最迟将于7月27日发布。

需求增长的另一面

彭博社同日报道，月之暗面6月ARR已达3亿美元，较4月增长50%，公司正在推进赴港上市准备。订阅暂停与ARR的快速攀升互为印证：需求增长既推动了收入，也考验着算力储备。尽管官方没有披露具体用户数或GPU规模，这次暂停已经是K3上线后推理算力持续承压的一次明确信号。（易句）

台积电1nm计划曝光 12座新工厂全力筹备中

Tue, 19 May 2026 10:52:13 +0800

快科技5月18日消息，按既定路线图，台积电首批2nm芯片组将于今年晚些时候落地。目前，台积电已正式启动了1nm制程的生产规划。

为应对后续海量订单并完成长远布局，台积电正同步筹建12座新晶圆厂，未来这些工厂将统一作为2nm到1.4nm等多代工艺的生产中心。

不过受制于龙潭三期扩建项目土地收购进度（预计2029年启动），1nm芯片真正实现商业化大批量量产，要等到2030年或2031年。

台积电的步步紧逼让对手三星压力倍增。在技术层面，三星同样计划在2029年拿出1nm晶圆，此前还抢先在美建立了2nm晶圆厂。

但在后方生态上，三星正深陷内耗。韩国法院此前刚驳回了三星工会工人索要300亿韩元（约合1.58亿元人民币）奖金的诉求，管理层目前正面临罢工威胁，韩国政府甚至放话将对潜在罢工采取全面封锁。

对三星而言，眼下的最大障碍是超先进制程的晶圆良品率。三星虽已全力开动2nm晶圆生产，但对绝大多数芯片设计厂商来说，三星依然只是台积电产能不足时的备选方案。

行业消息称，三星有计划在2nm节点停留更长时间，试图拉长周期磨合光刻工艺、稳固代工质量，以此争夺客户。但面对台积电几年内就量产1nm的进度来看，三星想要翻盘还有很长的路要走。

中国移动发布“超千兆宽带”：可升级至2000Mbps 彻底不卡

Tue, 19 May 2026 10:49:44 +0800

快科技5月19日消息，在515移动爱家日活动上，中国移动正式推出超千兆宽带，搭配AI智能技术，给家庭网络使用体验带来全面升级。

现在家里智能设备越来越多，高清追剧、居家办公、电竞游戏都对网速要求很高，普通千兆宽带已经有点跟不上日常需求。

这次移动推出的超千兆宽带，网速可以升级到2000Mbps，后续还能继续往上提升速率，下载大文件、缓冲高清视频基本不用等待，办公开会、直播玩游戏也不会出现延迟和卡顿。

这款宽带还搭载了Wi-Fi 7技术，能多频段同时工作，自动分配网络流量。家里手机、电视、游戏机多台设备一起联网也不会拖慢网速，信号穿墙能力也变强了，家里各个角落基本都没有网络盲区，玩电竞、用 VR 设备也能做到低延迟响应。

它还加入了智能网络优化功能，能自动识别使用场景。要是在打游戏、开线上会议，网络会自动优先让路，单独留出专属通道，避免网络拥挤掉线，保证全程网速稳定流畅。

同时中国移动联合华为一起推进技术普及，把高速宽带和Wi-Fi 7设备做了融合搭配。用户不用复杂设置，配上简易设备就能在家享受沉浸式观影，智能屏还能兼顾追剧、办公、学习和居家监控等多种用途。

从普通千兆升级到超千兆，不只是网速变快，更是让家庭网络迈入智能新时代，满足日常娱乐、办公和未来智能家居的各种使用需求。

科学家突破6G太赫兹通信瓶颈，首次在560GHz频段实现112Gbps无线传输

Tue, 19 May 2026 10:46:22 +0800

IT之家 5 月 19 日消息，日本德岛大学的研究团队开发了一种基于微梳驱动的太赫兹无线通信系统，在 560GHz 频段实现了高达 112Gbps 的单通道无线传输。

这一成果首次证明了在 420GHz 以上频段实现 100Gbps 级无线通信的可行性，为未来 6G 网络和超高速移动回传链路建立了关键技术基础。

太赫兹波（IT之家注：300GHz 至 3THz）被普遍认为是 6G 通信的核心承载频段之一，但传统电子器件在 350GHz 以上面临严重性能衰减：输出功率骤降、相位噪声急剧增加。相位噪声表现为信号频率或相位的短时随机波动，在高频段会严重破坏信号质量。德岛大学安井武史教授团队采用光子学路线，利用“孤子微梳”解决了这一难题。

微梳是一种芯片级光学器件，可将单束激光转化为一系列频率间隔均匀、高度稳定的光频梳齿。这些光梳齿具有极低的相位噪声，可作为生成纯净太赫兹载波的理想光源。

研究团队进一步将光纤直接键合到氮化硅微谐振器上，替代了传统方案中精密且易受干扰的空间光路对准。这种直接键合技术实现了三大改进：将笨重的实验光路压缩为紧凑器件；高功率光泵浦时无对准漂移；集成温度控制功能增强了芯片对环境温度波动的鲁棒性。

在无线传输实验中，研究人员从微梳中提取两路高度稳定的光载波，分别采用 QPSK（正交相移键控）和 16QAM（16 阶正交幅度调制）格式进行调制，再通过光混频转换为 560GHz 太赫兹波并无线发射。接收端使用亚谐波混频器进行外差探测。实测结果显示，QPSK 调制下数据速率为 84Gbps，16QAM 下达到 112Gbps。

该成果已于昨日发表在《自然》旗下《Communications Engineering》上。IT之家附论文地址：

https://doi.org/10.1038/s44172-026-00659-8

i9-14900KF液氦超至9.2GHz！中国高手刷新CPU频率记录

Mon, 18 May 2026 14:44:45 +0800

快科技5月17日消息，9.2GHz！CPU超频的新世界纪录诞生了！世界上第二个9+GHz诞生了！

来自中国的超频高手wjtiwx和他的团队，将一颗i9-14900KF超到了恐怖的9206MHz，一举超过之前的9117MHz i9-14900KS，问鼎全球第一。

这是唯二的9+GHz，而且都是通过昂贵的液氦超频达成的，而非更常见的液氮。

i9-14900KF已经诞生三年了，但仍是Intel迄今最强悍的处理器之一，拥有8P+16E 24核心32线程、32MB二级缓存、36MB三级缓存，出厂默认睿频就达到了6GHz，基础功耗125W，最大功耗253W。

此次超频中，它关闭了超线程和所有E核，还关掉了一个P核，只开启7核心7线程(怪怪的)，核心电压提高到1.348V，外频设置为103.44MHz，倍频设置为89x。

搭配主板是ROG MAXIMUS Z790 APEX、内存是两条8GB DDR5-5792，操作系统是Windows 7。

AMD处理器迄今最高超频记录是8.7GHz，来自古老的推土机FX-8370，总榜单只排第七位。

千帆星座第9批组网卫星成功发射！中国版星链全球组网进入快车道

Mon, 18 May 2026 14:38:41 +0800

快科技5月18日消息，据“恒信卫星”公众号消息，5月17日22时42分，千帆星座第九批组网卫星在海南商业航天发射场成功发射。

本次任务由长征八号运载火箭执行，卫星顺利进入预定轨道，状态正常，发射任务取得圆满成功。

至此，千帆星座在轨卫星数量增至162颗，全球组网步入快车道。

千帆星座又称“G60星链”，是我国自主可控的低轨卫星互联网系统，由上海松江区牵头，联合多家资本共同打造，项目实施主体为上海垣信卫星。

按照规划，到2030年底，千帆星座将完成超过1万颗低轨宽频多媒体卫星组网，面向大众通信、手机直连、宽窄带物联网等场景提供服务。

低轨卫星通常指运行在距地表约160公里至2000公里轨道上的卫星。

相比更高轨道卫星，低轨卫星距离地面更近，具备传输时延小、链路损耗低、覆盖范围广等优势，更适合用于卫星互联网业务。

作为低轨宽带卫星互联网星座，千帆星座通过在低轨部署平板式高通量宽带通信卫星，可提供大带宽、低时延、高质量、高安全性的全球卫星互联网服务，也将为偏远地区通信覆盖、应急通信、物联网连接等应用提供支撑。

消息称Meta新一代模型即将发布，执行开源与闭源混合策略

Tue, 07 Apr 2026 17:47:45 +0800

IT之家 4 月 7 日消息，外媒 Axios 当地时间昨日报道称，Meta 将在即将发布新一代 AI 模型中采取综合开源与闭源的策略，将旗舰模型和独家技术保留在内部的同时保持新鲜模型对广泛开发者群体的开源可用性。

IT之家了解到，这些模型将是首批由前 Scale AI 首席执行官 Alexandr Wang 领导开发的模型，水平足以赶上竞争对手。不过，OpenAI 和 Anthropic 的下一代更强大模型也已在正式公布前的准备阶段。

消息人士表示，Meta 了解其新模型可能无法在所有方面与新的竞品相竞争，但相信它会在某些方面具有吸引消费者的优势。

相较于其它 AI 企业，Meta 的一大优势是其通过 Facebook、Instagram、WhatsApp 等社交平台建立了广大的潜在消费者用户群体。因此 Meta 的 AI 战略倾向于 C 端市场，从为一般用户带来便利中创造价值。