{"id":20710,"date":"2026-10-08T10:17:57","date_gmt":"2026-10-08T10:17:57","guid":{"rendered":"https:\/\/news.theck1.no\/?p=20710"},"modified":"2026-10-08T10:17:57","modified_gmt":"2026-10-08T10:17:57","slug":"as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines","status":"publish","type":"post","link":"https:\/\/news.theck1.no\/?p=20710","title":{"rendered":"As AI Closed In on \u2018Unique Games\u2019 Proof, Researchers Raced to Beat the Machines"},"content":{"rendered":"<p style=\"margin:0 0 1em; padding:0.6em 0.9em; border:1px solid #d0d7de; border-radius:6px; background:#f6f8fa; color:#444; font-size:0.9em;\"><strong>AI-rewritten:<\/strong> This is a summary of an article from Quanta Magazine, rewritten by AI (Qwen, running locally) to make it easier to read. The facts come from the original article &ndash; read it for the full story.<\/p>\n<div style=\"margin-bottom:1em; color:#666; font-size:0.9em;\"><strong>Quanta Magazine &bull; Ben Brubaker &bull; October 7, 2026<\/strong><\/div>\n<hr\/>\n<p>On September 11, 2026, MIT professor Dor Minzer received messages suggesting his team had solved the &quot;unique games&quot; conjecture, a famous open question in theoretical computer science. While rumors circulated that OpenAI had discovered the proof, Minzer and his graduate students Yumou Fei and Shuo Wang were actually working on a closely related problem. They rushed to publish a 95-page paper three days later to avoid being overshadowed by an AI announcement, prioritizing mathematical completeness over clarity.<\/p>\n<p><!--more--><\/p>\n<p>On October 6, OpenAI announced a proof of the unique games conjecture alongside 376 other results. Researchers reacted with alarm and curiosity regarding the AI&#8217;s capabilities. In contrast, Ryan O&#8217;Donnell of Carnegie Mellon University praised Minzer&#8217;s work as &quot;another truly great one,&quot; noting that his team had made significant progress on similar constraint satisfaction problems involving graphs and node coloring.<\/p>\n<p>Minzer and his colleagues proved a variant of Khot&#8217;s second conjecture regarding the &quot;2-to-1 games problem.&quot; This involves finding solutions where constraints are looser, allowing for two possible colors per edge instead of one. Their work built on a seven-year effort that began in 2018, utilizing error-correcting codes to bridge gaps between different mathematical problems.<\/p>\n<div style=\"margin-top:2em; padding:1em; border-left:4px solid #0073aa; background:#f5f7fa;\">\n<p style=\"margin:0;\"><strong>Source:<\/strong> Quanta Magazine &bull; Ben Brubaker &bull; October 7, 2026<\/p>\n<p style=\"margin:0.5em 0 0;\"><a href=\"https:\/\/www.quantamagazine.org\/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007\/\" target=\"_blank\" rel=\"noopener\">Read the original article at Quanta Magazine &rarr;<\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>AI-rewritten: This is a summary of an article from Quanta Magazine, rewritten by AI (Qwen, running locally) to make it easier to read. The facts come from the original article &ndash; read it for the full story. Quanta Magazine &bull; Ben Brubaker &bull; October 7, 2026 On September 11, 2026, MIT professor Dor Minzer received<\/p>\n<p class=\"more-link\"><a href=\"https:\/\/news.theck1.no\/?p=20710\" class=\"themebutton2\">READ MORE<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-20710","post","type-post","status-publish","format-standard","hentry","category-science-discovery"],"_links":{"self":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts\/20710","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20710"}],"version-history":[{"count":0,"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts\/20710\/revisions"}],"wp:attachment":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20710"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=20710"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=20710"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}