La conjectura dels jocs únics la va formular Subhash Khot el 2002, quan era estudiant de doctorat, i és una de les preguntes obertes centrals de la teoria de la complexitat computacional: tracta de la dificultat de satisfer, de manera aproximada, restriccions sobre colors en grafs. La conjectura «2 a 1», del mateix Khot, cobreix un punt cec de l'anterior, els casos en què existeix una solució perfecta.
El 4 de setembre, Dor Minzer (MIT) i els estudiants Yumou Fei i Shuo Wang van publicar un text de 95 pàgines que demostra una variant més feble de la conjectura «2 a 1», en què cada restricció admet quatre opcions en lloc de dues. L'equip hi treballava des del 2025 i, després de mesos d'intents fallits, va tenir el resultat a l'abril del 2026. Segons ells, se'n desprèn una pregunta antiga sobre colorejar grafs: quan un graf es pot pintar amb tres colors, trobar-ne un coloratge continua sent difícil encara que es deixin molts més colors. L'11 de setembre Minzer va saber que corria el rumor que OpenAI tenia una prova de la conjectura dels jocs únics i l'equip va accelerar per acabar el text, que van publicar tres dies després.
El 6 d'octubre OpenAI va anunciar una prova de la conjectura dels jocs únics, entre altres resultats de matemàtiques, escrita per una IA. Quanta recull reaccions dividides: Ryan O'Donnell elogia el treball de Minzer, i Mark Braverman critica les «matemàtiques per nota de premsa», tot i que admet que una prova generada per una IA podria obrir línies de recerca noves.
És important el que encara no se sap. El text de Minzer és una prepublicació, **encara no revisada per parells**, i els mateixos autors avisen que és matemàticament completa però no pulida: li falten els textos d'enllaç a partir de la secció 6, i en prepararan una versió revisada. De la prova d'OpenAI, segons Quanta, no consta cap revisió independent d'experts, i només la demostració de la conjectura «2 a 1» s'ha comprovat amb l'assistent Lean.