The culture of mathematics is all about proof. We sit around and think ... They are using word associations based on many examples. So it seems unlikely that they will transcend their training data.