mitsuhiko 放话:Opus 5.5 agent 两周可无人工重写整个 CPython

thomasahle · x · 2026-11-01

知名开发者 mitsuhiko(Armin Ronacher)放话:他认为现在让一个 Opus 5.5 agent 仅靠测试套件、在无人工输入的条件下重写整个 CPython,大概两周内就能完成,而且很可能做到包括 ABI 兼容、无 GIL、带 JIT,并在所有可测量指标上超越现有实现。

回复者 thomasahle 正在做相关工作:他在 Lean 4 中实现 Python(以及 C++、Rust、SystemVerilog 等语言)的深度嵌入,项目 lean-surfaces 用于证明真实 Python/SystemVerilog 程序的正确性,语义经差分测试校验。他承认项目起步很快,但支持率爬到 99% 以上后进度明显放缓。