A proof of the Ryser-Brualdi-Stein conjecture for large even $n$

A Latin square of order $n$ is an $n$ by $n$ grid filled using $n$ symbols so that each symbol appears exactly once in each row and column. A transversal in a Latin square is a collection of cells which share no symbol, row or column. The Ryser-Brualdi-Stein conjecture, with origins from 1967, states that every Latin square of order $n$ contains a transversal with $n-1$ cells, and a transversal with $n$ cells if $n$ is odd. Keevash, Pokrovskiy, Sudakov and Yepremyan recently improved the long-standing best known bounds towards this conjecture by showing that every Latin square of order $n$ has a transversal with $n-O(\log n/\log\log n)$ cells. Here, we show, for sufficiently large $n$, that every Latin square of order $n$ has a transversal with $n-1$ cells. We also apply our methods to show that, for sufficiently large $n$, every Steiner triple system of order $n$ has a matching containing at least $(n-4)/3$ edges. This improves a recent result of Keevash, Pokrovskiy, Sudakov and Yepremyan, who found such matchings with $n/3-O(\log n/\log\log n)$ edges, and proves a conjecture of Brouwer from 1981 for large $n$.