硬核编程实验：借助 Claude、GPT 等 LLM 在图灵机上实现冒泡排序

本文介绍了一项结合计算机理论与现代 AI 技术的硬核编程实验。作者在 GitHub 上分享了一个项目，展示了如何在图灵机上实现冒泡排序算法，并详细记录了利用 Claude 4.6、GLM 5 和 GPT 5.2 等大语言模型辅助编码的全过程。项目包含两种实现方式：一个是基于“一进制”的通用版本，包含 31 个状态且需 1424 步完成；另一个是基于特定符号的简化版本，仅需 63 步。作者分享了开发路径，包括通过 LLM 生成 SPEC 文档、处理上下文混淆以及由此产生的 token 成本，为 AI 辅助解决复杂底层逻辑问题提供了极具价值的参考案例。