The original version of this story appeared in Quanta Magazine. One July afternoon in 2024, Ryan Williams set out to prove himself wrong. Two months had passed since he’d hit upon a startling ...

A strong foundation in mathematics plays a critical role in understanding artificial intelligence and adapting to ongoing technological change. Math underpins many machine learning basics, shaping how ...

As the world races to build artificial superintelligence, one maverick bioengineer is testing how much unprogrammed intelligence may already be lurking in our simplest algorithms to determine whether ...

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

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.

A computer scientist has achieved a breakthrough in a nearly 25-year-old problem involving how computers calculate distances across enormous networks. The new algorithm delivers more reliable ...