This guy… and the beauty of TEX: A computational proof of Huang's degree theorem (PDF, 1 p.). See also this related post.