大模型 · 商业分析

菲尔兹奖得主入局大模型
4B手机Qwen+云端GLM刷爆ARC-AGI 3

Fields Medalist Enters LLMs
4B On-Device Qwen + Cloud GLM Crush ARC-AGI 3

菲尔兹奖得主Smirnov带队的Mostik用「桥」技术连接大小模型隐藏状态,4B手机模型配753B云端模型刷爆ARC-AGI 3,推理成本砍至1/20。

Fields Medalist Smirnov's team Mostik uses 'bridge' technology to connect hidden states of small and large models — a 4B on-device model paired with a 753B cloud model crushes ARC-AGI 3, cutting inference cost to 1/20.

No.048 2026.09.08 约 5 分钟阅读 ~5 min read

一座小桥,让大小模型跳过文字直接对话

GPT-6 Astra都快刷到满分的ARC-AGI 3,现在被一个手机能跑的4B小模型追上来了。准确地说,是4B Qwen-3.5加753B GLM 5.2的组合——大模型在云端一声不吭,小模型在终端写出答案,中间靠一座叫「桥」的东西传递信息。

背后的团队Mostik成立才4个月,15个人里有12个博士,首席科学家是2010年菲尔兹奖得主Stanislav Smirnov。技术细节暂时保密,「比赛还没结束」,但核心结论已经足够震撼:模型之间靠文本交流的方式,效率低得离谱。

「在两个模型之间找到数学上的共同基础其实非常困难。」——Stanislav Smirnov

两兆字节与十七比特的悬殊

大模型生成一个token时,内部会构建上百个隐藏向量,总计约两兆字节的状态信息。最终输出什么?从15万词表里挑一个token——17个比特。两兆字节算完就扔,所有多模型协作系统(编程子智能体、模型委员会、路由调度)全都建立在这17个比特上。

近两年的可解释性研究证实,被丢弃的内部状态里装着深层计算的核心。ICLR 2026的论文显示,Qwen-3写出「accountant」之前好几个token,内部表征就已经确定了这个词——正因如此,它才会提前选对冠词「an」而非「a」。Anthropic在Claude 3.5 Haiku上也发现了「J-space」结构:模型维护着一组从未说出口的概念,这些内部推理从不出现在输出中。

桥的想象力:从降本到蒸馏

Mostik的方案简单直接:训练一个小型桥接模块,把发送方模型的隐藏状态直接「翻译」给接收方,双方权重完全冻结,全程不产生任何文本。大模型只做便宜的预填充,把昂贵的解码生成全交给小模型——于是推理成本压到了原来的二十分之一,4B小模型补上了与753B之间50%的性能差距,自身准确率提升25%,在难题子集上提升达2倍。

更重要的是,GLM和Qwen来自不同团队、用不同数据训练,桥依然有效。这说明模型训练中自然涌现出了某种通用结构——而Smirnov说,我们目前甚至还没有合适的数学语言来描述它。下一步,Mostik在探索用桥做蒸馏和专项化,以及作为安全可观测性的新窗口。

明天见。

A Tiny Bridge Lets Small and Large Models Talk Without Words

On ARC-AGI 3, a benchmark where GPT-6 Astra is approaching a perfect score, a 4B-parameter model small enough to run on a phone is now posting competitive numbers. More precisely, it is a pairing of 4B Qwen-3.5 and 753B GLM 5.2 — the large model stays silent in the cloud, the small model writes the answer on-device, and a mechanism called a "bridge" carries information between them.

The team behind it, Mostik, was founded only four months ago. Among its 15 members are 12 PhDs, and its chief scientist is Stanislav Smirnov, winner of the 2010 Fields Medal. Technical details remain under wraps — "the competition is still ongoing" — but the core finding is striking enough: models communicating through text is shockingly inefficient.

"Finding a mathematical common ground between two AI models is actually very difficult." — Stanislav Smirnov

The Imbalance of Two Megabytes and Seventeen Bits

When a large model generates one token, it builds up hundreds of hidden vectors — roughly two megabytes of internal state. What comes out? A single token chosen from a 150,000-word vocabulary — seventeen bits. Two megabytes are computed and discarded, and every multi-model system today — coding sub-agents, model committees, routing and scheduling — is built on top of those seventeen bits.

Recent interpretability research confirms that the discarded state contains the core of deep computation. An ICLR 2026 paper shows that several tokens before Qwen-3 writes the word "accountant," its internal representation already carries that word — which is precisely how it correctly chooses the article "an" over "a" ahead of time. Anthropic has also observed a "J-space" structure in Claude 3.5 Haiku: the model maintains a set of unexpressed concepts, internal reasoning that never appears in the output.

The Promise of the Bridge: From Cost Cuts to Distillation

Mostik's approach is straightforward: train a small bridge module that directly "translates" the sender model's hidden states to the receiver, with both model weights fully frozen and no text generated at all. The large model only does cheap prefill, leaving expensive decoding generation entirely to the small model — bringing inference cost down to roughly one-twentieth of the original. The 4B model closes 50% of the performance gap with the 753B model, boosting its own accuracy by 25%, and up to 2x on harder problem subsets.

More importantly, GLM and Qwen were trained by different teams on different data — yet the bridge still works. This suggests some universal structure naturally emerges during model training. And as Smirnov notes, we don't even have the right mathematical language to describe it yet. Next, Mostik is exploring using bridges for distillation, specialization, and as a new window for safety observability.

See you tomorrow.

在两个模型之间找到数学上的共同基础其实非常困难。

—— Stanislav Smirnov,2010年菲尔兹奖得主

Finding a mathematical common ground between two AI models is actually very difficult.

— Stanislav Smirnov, 2010 Fields Medalist
菲尔兹奖·模型桥接·隐藏状态·推理降本·小模型升维·ARC-AGI·可解释性
Fields Medal · model bridging · hidden states · inference cost reduction · small model elevation · ARC-AGI · interpretability
Sources · 信源 Sources

本文基于 Dawn Vision 认知引擎处理的 3 个源信号生成,经编辑部人工审核。素材来源:量子位。