AI can help theoretical computer scientists search for algorithms, proof components, and combinatorial structures. Here’s what recent results show—and why verification still matters.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results