Jun, 2021

编程难题

TL;DR本文介绍了一种叫做编程谜题的新型编程挑战,以 Python 编程谜题为例,详细讲述了该类谜题的属性,覆盖了从级别不同的变量操作问题到经典的编程问题(例如汉诺塔),再到算法和数学中长期存在的开放问题(例如因子分解)。通过设计基于枚举的编程合成方法、GPT-3 和 Codex 解题器,可以解决这些谜题。Codex 解题器表现最佳,在没有参考解决方案的情况下,单独尝试解决了 397 个测试问题中的最高 18%,1,000 次尝试解决了 80% 的问题,在小规模的用户研究中,发现人类的难度与 AI 解决程序的难度之间存在积极的相关性。因此,进一步改进编程谜题可能对许多程序合成领域产生重大影响。