Hadamard code

OpenAI的Unique Games猜想证明在3小时演讲中详述

Scott Aaronson的博客Shtetl-Optimized发布了一个YouTube链接，内容是Dana关于OpenAI的Unique Games猜想证明的一个三小时演讲。该演讲详细介绍了Unique Games问题的性质、其NP-hard证明的结构以及使用Long Code和Hadamard Code的先前尝试的局限性。它还介绍了一个由AI发现的、克服了这些局限性的新的基于树的代码，但并未涵盖其可靠性分析。