"比 Python 快 9 万倍"的 Mojo 终于完全开源:编译器交了,但真正的王牌还藏着
8 月 18 日,Modular 在 ModCon 大会宣布:Mojo 编程语言完全开源——此前始终未公开的编译器、工具链、构建语言所需的全部代码,一次性以 Apache 2.0(附 LLVM 例外条款)许可证放出。而就在一周前(8 月 11 日),Mojo 刚发布 1.0 正式版,宣告 API 进入稳定阶段。
开发四年,"什么时候成熟"和"什么时候真正开源"这两个困扰社区已久的问题,几乎同时有了答案。
一个编译器传奇的第四次押注
Mojo 背后的男人是 Chris Lattner——LLVM 与 Clang 的创建者、Swift 之父、MLIR 的联合发明人。他的职业轨迹有一个反复出现的模式:先在底层建立开放的技术地基,再让无数产品与平台建在上面。
这一次,他押上的是"AI 异构计算的统一软件层":一门语言同时面向 CPU、GPU、谷歌 TPU、AWS Trainium 与高通加速器,试图终结"为每种芯片重写内核"的噩梦。就在今年 7 月,高通完成对 Modular 的收购;Mojo 团队在直播中承诺:保持全面开源、生态中立、不做厂商锁定。
开源了,但"开放治理"还要再等等
先别急着欢呼。这次开源有一个明确的边界:代码可以读、可以改、可以 fork、可以商用,但暂时不能向上游提交。Modular 明确表示,现阶段不接受针对编译器与工具链的外部贡献,计划 2026 年底前开放。
理由听起来合理——"AI 编程时代,需要更谨慎地处理贡献"。但熟悉的人都知道,这正是 Lattner 的一贯套路:Swift 早期同样由紧密的小团队握紧设计权。"开源"与"开放治理"是两回事:Apache 2.0 给你的是"随时 fork 逃离"的权利,不是"参与决策"的投票权。
"快 9 万倍"是营销,真问题是"两门语言"
"比 Python 快 9 万倍"是 Mojo 出圈的起点,也是最容易误导人的数字。它的出处是 matmul(矩阵乘法)的特定 benchmark:从 Naive 版的 1024 倍,逐级优化到 Tiled 的 9914 倍,再到 Accumulated 版的 90449 倍——约 9 万倍。
这个数字不能推广到所有任务。Python 在 AI 领域真正耗算力的代码,本来就跑在 NumPy、PyTorch 的 C/C++ 内核上。Mojo 真正想解决的是**"两门语言"问题**:Python 写业务、C/CUDA 写性能内核,两套语言两套心智。用一门语言从头到尾打通上层业务与底层硬件——这才是它比"Python++"更值得认真对待的原因。
真正的王牌,不是 Mojo
最容易被头条盖过的事实是:Mojo 开源了,但 Modular 的 MAX 平台只是 source-available(源码可见),并不开源。而 MAX 才是赚钱的部分——推理引擎、graph compiler、托管服务,MiniMax 等客户每天在上面跑数十亿 token。
"开源语言赢生态,闭源平台赚收入",这是教科书级的护城河:Java、.NET、Swift 都走过同样的路。开源 Mojo 换来的是开发者信任与生态繁荣,成本远低于它赢得的声誉。所以别把"Mojo 开源"读成"Modular 从此社区共治"——真正的考验,是明年 MAX 的许可证走向。
开源解决了"不敢用",没解决"为什么用"
HN 上不少开发者说:闭源是我不试 Mojo 的最大原因,现在源码公开,终于愿意认真看看。但质疑同样存在:Windows 原生支持刚起步;Julia 在高性能科学计算深耕多年;NuMojo 等 NumPy 替代品还在早期。
一句话总结:开源解决的是"为什么我不敢用",不是"为什么我一定要用"。代码已经摆到 GitHub 上了,接下来决定 Mojo 命运的,是开发者会拿它做什么——这一次,答案不在 Modular 手里,在你我手里。
你会去试 Mojo 吗?或者,你曾被哪门"性能神话"语言吸引过,最后又回到了哪里?评论区聊聊你的故事。