mathematics
How many ways can a river cross a road? Counting Arnold's meanders with proofs
Arnold asked in how many ways a river can cross a road n times. Nobody has a formula, so we counted the rivers with programs proved correct in Lean 4: every value up to 32 crossings, a paper on First Pair, and a film.