Vitalik称赞Qwen：不到3分钟解析Willans公式

Vitalik Buterin对Qwen 35B的评论触及了密码学与计算理论中一个非常深刻且实际的问题：如何将离散数学运算嵌入连续函数结构，并保持效率与可用性。Willans公式本身是一个理论上的存在，它通过一系列初等函数构造出素数生成的方法，但这通常被视为理论奇观而非实用工具，因为计算复杂度极高。Vitalik的惊讶在于，Qwen这样一个语言模型竟能在有限资源内（1.5万token，3分钟）完成对其的解析与执行——这不仅是对模型计算能力的认可，更暗示了AI在符号推理与复杂数学结构处理上的潜在突破。

他特别提到“用三角函数隐藏模运算”的思路，这实际上指向了一种函数加密或程序混淆的技术愿景：将非连续、离散的运算（如模运算）包装成平滑的、可微的连续函数，从而使其更适合在神经网络或密码学协议中被处理与优化。这种做法在同态加密、零知识证明等领域有明确应用，例如在ZK-SNARKs电路中避免使用非代数操作，或是在安全多方计算中减少逻辑分支的暴露。

从更广的语境看，Vitalik近年持续关注计算复杂性、算法优化与密码学实践之间的缝隙。无论是他探讨内存访问复杂度O(N^(1/3))的模型修正，还是对ZK-EVM、GKR协议的研究，都反映出他试图将理论计算机科学的最新进展引入区块链与密码学基础设施中。他对Qwen的称赞并非孤立事件，而是这种思想路径的延伸：他欣赏的是那种能够弥合形式理论与工程实践之间鸿沟的能力。

此外，Vitalik作为以太坊创始人的影响力使得这类技术评论往往超出纯粹学术范畴，进入生态叙事与资源分配层面。他以往对某些技术方向（如ZK、DA、AI+Crypto）的“暗奶”或明示，常引发市场与开发者社区的关注甚至跟风。但值得注意的是，他近年来也更强调“价值观融合”与“方向选择”而非纯粹技术加速——例如在AI与Crypto结合时强调去中心化与隐私保护，而非无差别追求性能。这种立场使得他对Qwen的认可更偏向于一种技术可行性的验证，而非单纯倡导采用。

总而言之，Vitalik对Qwen解析Willans公式的称赞，本质上是对一种计算方法的肯定：它展示了如何用连续函数结构有效处理离散逻辑，这既是对密码学原语设计的一种启发，也是对AI执行符号数学能力的一次实证。而在更宏观的角度，这也契合他一直以来试图将严谨的理论建构与实际的协议优化相结合的思想风格。