guy who is building AGI on a discord server with his buddies instead of getting himself a girlfriend