用Codex解决了一个大问题。