跟帖OpenAI又出数学大结果，陶哲轩：数学不该被AI“掠夺式开采”