Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Computational Complexity
LeetCode and AI
I often do LeetCode problems for fun. This site mainly provides short coding problems for students and others to train for the kinds of question that come up in...
From Computational Complexity
Embracing the Future of Manufacturing
Last week I walked around the International Manufacturing Technology Show with 89,000 other participants at the McCormick Center in Chicago. I went to see how AI...
From Computational Complexity
Natural Proofs is Not the Barrier You Think It Is
If there's a position where I differ from most other complexity theorists it's that I don't believe that natural proofs present a significant barrier to proving...
From Computational Complexity
Favorite Theorems: Parity Games
August EditionA quasipolynomial-time algorithm for a long standing open problem. Yes, we have two of them this decade.Deciding Parity Games in Quasi-polynomialCristian...
From Computational Complexity