arXiv:2502.12203v1 类型: cross 摘要：机制设计一直是经济理论的基石，传统的做法依赖于数学推导。最近，自动化的方法，包括使用神经网络的差分经济学，已经出现，用于设计支付和分配。尽管分析和自动化的方法都推动了该领域的发展，二者都面临显著的弱点：数学推导无法自动化，并且通常难以扩展到复杂的问题，而自动化的，尤其是基于神经网络的方法，缺乏解释性。为了解决这些问题，我们提出了一种新的框架，将机制设计重新表述为代码生成任务。利用大型语言模型（LLMs），我们生成描述在代码中的启发式机制，并通过特定问题的校正过程在优化某些评估指标的同时确保关键设计标准（例如，策略不变性）的满足。这一校正过程确保任何违反设计标准的机制均被调整以满足它们，尽管在某些性能指标上有所妥协。这些妥协在基于LLM的进化过程中予以考虑。LLMs的代码生成能力使得可以发现新颖且可解释的解决方案，将机制设计的符号逻辑与现代AI的生成能力结合起来。通过严格的实验，我们证明，基于LLM生成的机制在性能上与以往方法相当，并且更具可解释性。值得注意的是，我们的框架能够重新发现现有的手动设计的机制，并通过例如编程-by-示例提供对基于神经网络解决方案的见解。这些结果突显了LLMs不仅能够自动化，而且能够增强机制设计的透明度和可扩展性，确保机制在社会中的安全部署。