John Urschel published a paper proving a mathematical conjecture regarding Gaussian elimination.