Comment by magicalist

> This is a "you" problem for the math establishment, not a problem for the AI companies

This was a talk given to other mathematicians about the future of mathematics; sounds like only "you" have a problem for some reason.