I do not know enough about his background to say one way or another whether he was a great programmer, but getting an 800 on the SAT math section isn't exactly a legendary achievement. It is weighted so that the number of people getting an 800 is not insignificant.