Sum-of-squares proofs and the quest toward optimal algorithms | Read Paper on Bytez