Do you also believe Terrance Tao was a mediocre mathematician before AI?