A group of A.I. believe Musk is overstating what the tech can do—and they'd like to back it up with a little wager.