<p>He’s not a math major, but he basically completed all the lower-division curriculum in mathematics at my community college before entering as a freshman at MIT. I think he took Real Analysis though and last I heard he was fine. He is a very bright guy.</p>