Program-Solve（程序求解）

程序求解结合了程序合成与深度学习，旨在根据输入输出示例或自然语言描述生成满足要求的程序。传统方法基于搜索和约束求解，但难以扩展。神经程序合成如Codex通过大规模代码预训练，能根据注释生成代码。AlphaCode在竞赛编程中生成大量候选程序并筛选，达到人类选手水平。该技术可提升开发效率，并用于教育、自动化测试等领域。