OpenAI je jučer objavio 372 velikih rezultata. Među njima je objavljen dokaz Unique Games hipoteze Subhasha Khota (UGC).
Na preporuku savjetodavnog odbora koji čine Timothy Gowers, Edward Witten i drugi istaknuti matematičari, dokaz je uključen. Dokaz ima Lean certifikat, kao i neki drugi od objavljenih rezultata.
Prema izvoru, još nijedan čovjek nije u potpunosti shvatio nijedan od ovih dokaza. Autori navode da dokaz uvodi potpuno novi, neobičan kod s testom šuma, koji nije ni dugi ni kratki kod.
