Comment by pred_

Are you aware that Tao is among the largest proponents of using AI in mathematics? The usage itself is not the point here.