Two new proofs, one by humans and one by AI, have brought researchers a big step closer to a unified theory of computational difficulty. https://www.quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007/

Show Post

Our intuitions about numbers might go way beyond what we can prove. https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/#

Show Post

Ben Brubaker (and Rahul Ilango) strikes again! A great article on a mind-bending result!

Show Post

from tcs results, this one sounds the most insane to me. ok, eps is small, but now the floodgates have opened

Show Post

Outstanding progress towards the Unique Games Conjecture posted by Yumou Fei, Dor Minzer, and Shuo Wang: eccc.weizmann.ac.il/report/2026/... 👀

Show Post