did the people in the ai for math working group or wahtever it was called uhh. how do i put this. did they actually believe it?

(edit: the LARP troupe I'm referring to is the "The Advisory Group on Mathematics and Artificial Intelligence")