See how AI is changing algorithm discovery, theorem proving, and complexity theory, with real research examples and a clear look at its limitations.

A computer scientist has achieved a breakthrough in a nearly 25-year-old problem involving how computers calculate distances ...

OpenAI says one of its internal models has disproved the Exponential Time Hypothesis, a conjecture that computer scientists have leaned on for ...

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.