The original version of this story appeared in Quanta Magazine. Imagine that someone gives you a list of five numbers: 1, 6, 21, 107, and—wait for it—47,176,870. Can you guess what comes next? If ...

CHRIS SERLE, IAN MCNAUGHT-DAVIS and Gill Nevill, continue their exploration of the world of information science. Even the most elaborate and sophisticated computer programs are made up of only a few ...

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. Computer proof assistants have been an intriguing subplot ...

The goal of the “busy beaver” game is to find the longest-running computer program. Its pursuit has surprising connections to some of the most profound questions and concepts in mathematics.

The 2021-’22 cohort of the Paul G. Allen School of Computer Science and Engineering’s Startup Program flashes “W” signs for the UW. The program supports incoming undergraduates from underrepresented ...