Yeah, it's pretty cool that he made this huge contribution to math during his graduate studies and then mostly switched fields to become even more prolific.

Very humble guy, it seems. He knew he could not solve those (Harper) equations analytically, so he provided one of the first computer-assisted solutions to them.

I have generated many such butterflies in my work in recent years. His mathematical curiosity from 1976 was realized experimentally only a little more than 10 years ago.