Terence Tao on how AI math solutions miss the point photo