David Platt

The Obviously True Theorem No One Can Prove

Veritasium

Collaborated with Harald Helfgott on computationally checking numbers up to 8.8 x 10^30 for the weak Goldbach conjecture.