Ninth Dedekind Number Found by Two Independent Groups

Surprise Computer Science Proof Stuns Mathematicians

Landmark Computer Science Proof Cascades Through Physics and Math

A Decades-Old Computer Science Puzzle Was Solved in Two Pages

How a Strange Grid Reveals Hidden Connections Between Simple Numbers

John Horton Conway

markov-chains-explained