have you checked out if there are any meetup groups in your area for kids with similar interests? Any gifted groups?

I do believe socializing is important but I don't think it's something you can force on anyone. Have you tried to figure out what exactly is it that makes him unhappy and frustrated?