OpenAI's Claimed Subexponential #SAT Algorithm, Explained [video]youtube.com2 points·amichail··1 commentOpen articleSaveView on HN