Dana Moshkovitz gives UT Austin talk on OpenAI’s Unique Games Conjecture proof

Dana Moshkovitz is giving a technical talk at UT Austin on OpenAI's recent proof of the Unique Games Conjecture, following weeks of studying the proof alongside Subhash Khot, Johan Håstad, Dor Minzer, and GPT-6 Astra. The presentation outlines a mental map of the proof, focusing on a new code construction described as Hadamard with a noise test and its role in the NP-hardness reduction. Open article →