Terence Tao calls for a "Math 2.0" after OpenAI's release of more than 700 machine-generated manuscripts · Polylog