Human intelligence for AGI. Previously, I was an engineer at Google, Facebook, and Twitter, and studied math and linguistics at MIT.