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