I recently read a paper of Ryan Williams explaining how one discovers the biggest breakthrough in circuit complexity in the last decade. http://arxiv.org/abs/1111.1261