He's been heavily researching machine learning for the last few years, and formed an AGI startup last year.

He's not the world's leading researcher or anything, but he's far from green in this space.