Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.
Quanta Magazine From ACM News | September 7, 2023
Quantum computing is still really, really hard. But the rise of a powerful class of error-correcting codes suggests that the task might be slightly more feasible...Quanta Magazine From ACM News | September 7, 2023
How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results...Quanta Magazine From ACM News | August 21, 2023
"Liquid" neural nets, based on a worm's nervous system, can transform their underlying algorithms on the fly, giving them unprecedented speed and adaptability.
...Quanta Magazine From ACM News | February 10, 2023
Researchers can now find the shortest route through a network nearly as fast as theoretically possible, even when some steps can cancel out others.
Quanta Magazine From ACM News | January 23, 2023