Two-hundred-terabyte maths proof is largest ever. - Evelyn Lamb (Nat., 2016)

From Music to Mathematics: Exploring the Connections. By Gareth E. Roberts. - Jason Rosenhouse; Evelyn Lamb (Am. Math. Mon., 2017)