IIRC Erik Demaine was also homeschooled, skipped college, got a very early PhD, and joined the MIT math faculty as a teenager (he is a full professor there now). Johnny von Neumann OTOH went through a "normal" secondary education partly because his parents wanted him to have traditional social exposure to kids his age while he was growing up. His math training was very accelerated though, and he had professional level research publications at 17.