Ken Ono had an epiphany. Now the professor is moving to Silicon Valley to chase mathematical superintelligence.