号称比 Python 快 68000 倍的 AI 编程语言 Mojo 全量开源。Python 程序员该不该学?一篇讲透。
一、发生了什么
68000 倍。比 Python 快六万八千倍,这是 Mojo 官方喊了三年的数字,也是 AI 圈争论最凶的一串数字。
8 月 18 日,这门语言的编译器与工具链正式全量开源,Apache 2.0 协议加 LLVM 例外条款,全部源码挂上了 GitHub。距离它 8 月 11 日发布 1.0 稳定版,只隔了一周。对一门编程语言来说,这节奏快得反常。
Mojo 背后是 Modular 公司,创始人 Chris Lattner,LLVM 和 Swift 的缔造者,编译器圈活着的传奇。这家公司今年 6 月刚被高通收购,转头就把看家语言全量开源。一石激起千层浪,Python 社区、Rust 社区、CUDA 生态,全被这记响雷炸到了。
Mojo 大事记 - 2022 年:开发启动,创始人是 LLVM/Swift 之父 Chris Lattner - 2023 年 5 月:公开测试版,主打"Python 超集"卖点 - 2024 年 3 月:开源标准库核心,接受社区 PR - 2026 年 3 月:官方放弃"严格 Python 超集"目标 - 2026 年 6 月:Modular 被高通收购 - 2026 年 8 月 11 日:Mojo 1.0 稳定版发布 - 2026 年 8 月 18 日:编译器与工具链全量开源 开源公告里有个细节值得玩味:编译器代码全部公开,但暂不接受贡献,计划年底开放;标准库倒是从 2024 年起就放开社区提交,目前积累了 1100 多个 PR。一边敞开,一边留着门闩,这姿态怎么看都不只是"拥抱开源"四个字那么简单。
二、为什么值得关注
1. LLVM 之父亲手压上的赌注
Chris Lattner 的履历,在编译器圈属于"祖坟冒烟"级别。LLVM 是他 2000 年在大学写出来的,如今是全世界的编译器地基,Rust、Swift、Clang 全踩在上面;Swift 是他 2010 年代在苹果主导设计的。这样的一个人,2022 年出来做新语言,赌注压在了 MLIR 上。
MLIR 是比 LLVM 更新一代的编译器框架,可以直接对接 GPU、TPU、ASIC 各种硬件。Mojo 的核心卖点就是:Python 的语法,C 的性能,Rust 的内存安全,还能一套代码跑通 CPU 和 GPU。它内置 SIMD 优先的设计,写并行代码跟写普通代码一样顺手;还搞了个"急切销毁",对象最后一次使用就释放内存,对 GPU 场景意味着同等显存能塞更大的模型。
这套组合拳打的是 AI 圈最痛的点:双语言税。现在做 AI 开发,原型用 Python 写,跑不动了再拿 C++/CUDA 重写性能瓶颈,中间还要用 pybind11 粘起来,调试成本高到离谱。Mojo 想做的,是让一个人用一种语言从头写到尾。
2. 高通收购后的信任危机,开源是唯一的解药
要说这次开源没有被迫的成分,没人信。Modular 被高通收购后,社区最大的疑虑就一个字:中立性。Mojo 的定位是干掉 CUDA 依赖,结果母公司成了芯片厂,你猜 AMD 用户还敢不敢用?
更早之前,Mojo 不开源这事就一直在挨骂。"宣传非常好,但如果不是开源的,我不会花任何时间尝试",这是当年 Discord 上的高赞评论。一个号称"AI 的未来语言",源码藏着掖着三年,社区观望情绪早就积压成堰塞湖。
所以这次全量开源,本质是求生。高通要的是 AI 软件栈话语权,Mojo 要的是社区信任,两边一拍即合。Lattner 直播里还专门回应了"英伟达和 AMD 会不会使绊子",说它们是"强有力的合作伙伴"。这话信一半就行,商业世界里,没有永远的朋友,只有永远的开源协议。
3. "Python 超集"的名分,悄悄滑落了
最容易被忽略的一条:Mojo 不再是严格意义上的 Python 超集了。2026 年 3 月,官方悄悄放弃了这个目标。当年靠"Python 超集"四个字圈来的关注,现在成了绕不过去的账。
Mojo 与 Python 的关系演变 - 2023 年宣传口径:Python 超集,Python 代码直接跑,零迁移成本 - 2026 年 3 月:官方放弃严格超集目标,语法开始按性能需求"走样" - 现状:可以 import Python 库(Numpy、Matplotlib 等),但 Mojo 代码不再是 Python 代码的纯净版 - 原因:严格兼容会拖累性能,鱼和熊掌,Lattner 选了性能 这个转变本身没毛病,一门语言要长大,早晚得有自己的样子。但当年信了"超集"故事的人,现在等于被科普了一课:营销话术和工程现实之间,隔着 68000 倍那么远。
4. 68000 倍,是怎么来的
先把数字拆开。68000 倍出自 Mandelbrot 分形基准,Python 跑 1027 秒,Mojo 跑 0.03 秒。这个算法对 SIMD 极度友好,向量化空间拉满,简直是给 Mojo 量身定制的考题。你拿 Python 的慢和 Mojo 的快比,本质是拿解释器裸跑和编译器优化后的机器码比,赢面能不大吗?
换个口径就露馅了:Modular 自己也说过,现代硬件上"无需显式优化"大概比 Python 快 12 倍。68000 倍和 12 倍,差的不是小数点,是两个世界。真实 AI 负载里,Mojo 确实能带来可观提升,但指望随手写个脚本就起飞,那是想多了。
5. 顺带把 Rust 也惹了
Mojo 的炮口不止对着 Python。今年 2 月,Netflix 工程师 ThePrimeagen 发了条视频,用 Mojo 解析 DNA 序列,宣称比同场景的 Rust 快 50%。这条视频把两个社区都点炸了,连 Rust 圈子里有分量的作者 Luca Palmieri 都出来回应:如果 Mojo 能全面落地,AI 领域的应用层可能真的没 Rust 什么事了。
但这话得两头听。Rust 过去几年已经把 AI 基础设施的地盘占了,大量推理引擎、向量库、模型运行时都是 Rust 写的,字节、Hugging Face 都在往里砸钱。Mojo 想两头开战,一边撼动 Python 的生态,一边抢 Rust 的地盘,拳路很凶,但每一拳都打在别人练了几年的桩上。
三、我的看法
我先把结论放这:Mojo 成不成,不取决于性能,取决于生态。性能是入场券,生态才是决赛圈。
核心观点:Mojo 的对手从来不是 Python - Python 的护城河不是语法,是 PyTorch、NumPy 和几百万个 PyPI 包织成的网 - 程序员换语言的成本是 10 分钟,换生态的成本是十年 - Mojo 的"Python 互操作"是救命稻草,但也是天花板:import 别人的轮子,和拥有自己的轮子,是两回事 - 开源是解药,但剂量决定疗效。编译器贡献年底才开放,等于半扇门开着 为什么我说对手不是 Python?因为 Python 压根不跟你比性能。它的生态是三十年和几百万开发者攒出来的,新语言想从语法层面掀翻它,历史上有过无数尝试,都成了燃料。Julia 性能不差吧?生态照样起不来。Nim、Zig、Carbon,各有各的拥趸,没有一个真正动摇了 Python 的根基。Mojo 想赢,靠的不是快,是让 PyTorch 级别的生态长在自己身上。
还有一层绕不开:CUDA。老黄赢麻了这么多年,靠的就是二十年的开发者积累,全球几百万 CUDA 程序员,任何想绕开英伟达的方案,都得先问问这些人愿不愿意搬家。Mojo 想拆 CUDA 的墙,这波操作在大气层,但拆墙用的不是锄头,是时间,而时间恰恰是创业公司最缺的东西。
高通收购这步棋,倒是给 Mojo 续了命。芯片厂最怕的是"硬件卖出去了,软件生态不在自己手里"。高通买了 Modular,买的是 AI 软件栈的入场券,未来边缘设备、手机、汽车上的 NPU,都可能跑 Mojo。这个想象空间,比"Python 程序员学不学"大得多。
再说开源诚意这层。Lattner 当年在苹果主导 Swift 开源,2015 年一开就是全开,连 git 历史都整个搬出来。这回 Mojo 留了一手:编译器代码公开,但暂不接受贡献,年底才放口子。论诚意,跟 Swift 当年比是打了折的。但换个角度想也合理,编译器是 Modular 的商业命根子,高通董事会刚点头收购,你让他转头就把核心贡献权交出去,不太现实。半开门总比关门强,至少代码能看了,社区的信任账,得靠年底的真金白银来还。
所以我的态度是:不慌,但值得盯着。对写业务代码的 Python 程序员,短期不用焦虑,你的饭碗稳得很;对做 AI 推理、性能敏感、想摆脱 CUDA 绑架的人,Mojo 值得花一个周末试试,哪怕只为验证那些数字。
四、接下来看什么
三个节点,决定 Mojo 的成色。
第一,年底的编译器贡献开放。现在代码在 GitHub 上躺着,但没人能动核心。等真正接受外部贡献那天,才算全裸开源,那时候看社区会不会真的涌进去。
第二,Modcon 大会。Modular 自己的开发者大会,高通收购后的第一场大秀,官方暗示会有大动作,Mojo 的路线图大概率在那里摊牌。
第三,接下来 12 个月的原生生态。能不能长出 Mojo 版的 PyTorch 集成、有没有企业敢上生产环境、库作者愿不愿意押注,这三个信号比任何性能数字都硬。
给读者的建议 - 做 AI 推理 / 边缘部署 / 性能敏感的人:现在就可以开始看 Mojo 文档,学成本低,收益前置 - 纯业务 Python / 数据分析:不用急,生态没起来之前,学它不如把 PyTorch 学透 - 所有人:把 Mojo 加入观察列表,12 个月后回看,答案自己会浮出来 最后问一句:Mojo 这波开源,你觉得是 LLVM 之父亲的翻身仗,还是高通布局 AI 硬件的棋子?点个在看,让更多程序员看到这波分析。