Scott Aaronson的博客Shtetl-Optimized发布了一个YouTube链接,内容是Dana关于OpenAI的Unique Games猜想证明的一个三小时演讲。该演讲详细介绍了Unique Games问题的性质、其NP-hard证明的结构以及使用Long Code和Hadamard Code的先前尝试的局限性。它还介绍了一个由AI发现的、克服了这些局限性的新的基于树的代码,但并未涵盖其可靠性分析。 AI
影响 深入了解AI驱动的数学证明的复杂性及其对理论计算机科学的潜在影响。
排序理由 博客文章讨论了关于AI相关研究课题的演讲。
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →