Terence Tao: AI companies are harming mathematics · Briflio