Math genius Terence Tao says that AI still can't "smell" bad math