Comment Comment by high_5 So the AI is already auto-shunning itself from the math community. parent high_5 16 days ago