Mathematics8 Aug 2026What makes a proof explanatoryTwo proofs of the same theorem can differ enormously in how much they tell you. Mathematicians have argued about why for a century, and the answer turns out to matter for how we teach machines.Editorial11 min read
Mathematics18 Jul 2026Counting without listingCombinatorics is the art of knowing how many things there are without producing them. Four rules do almost all of the work, and the fourth is the one people get wrong.Editorial9 min read