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.

I first encountered Dijkstra’s hot takes nearly four years ago, not long after I joined Quanta as a staff writer covering computer science. The subject was new to me — I’d been a physics journalist, ...