AINeutralarXiv – CS AI · 18h ago6/10
🧠
Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
Researchers have developed LegoNE, a framework that enables large language models to automatically discover and formally verify polynomial-time algorithms for computing Nash equilibria in games. The system rediscovered existing optimal algorithms and discovered a new three-player algorithm that provably improves upon previous best-known guarantees, demonstrating that LLMs can innovate beyond established human design paradigms when augmented with formal verification tools.