Dana Moshkovitz 的报告：Unique Games 猜想被证明了（!?）
Talk by Dana Moshkovitz: The Unique Games Conjecture – Proved (!!?)
AI 导读
Scott Aaronson 预告，Dana Moshkovitz 将于 11 月 4 日在 UT Austin 作两小时技术报告，讲解 OpenAI 最近发布的 Unique Games 猜想证明，提供 Zoom 直播并会录制视频放到 YouTube。Dana 自 2009 年前后起研究 Khot 的这一猜想，过去几周在伯克利 Simons Institute 休假期间与 Subhash Khot、Johan Håstad、Dor Minzer 等人及 GPT-6 Astra 合作研读证明，本周已在该所做了两场反响良好的白板报告。报告第一小时回顾近似难度的关键思想，第二小时描述新构造并概述其可靠性分析。
推荐理由
OpenAI 的证明写法对人类数学家不易读，Dana Moshkovitz 与 Khot 等人研读后将在 UT Austin 讲解并公布录像。