Terence Tao: AI companies are harming mathematics

AI companies are making new mathematical discoveries at a rapid pace but not sticking around to help unpick the new proofs. That is not the way to advance our understanding, says mathematician Terence Tao