陶哲轩：数学2.0时代已至！

陶哲轩发文指出AI正让数学证明变得泛滥，数学1.0时代即将落幕，数学2.0时代已至。他呼吁将失败结果与算力成本纳入透明评估，并强调人类数学家在理解、讲解和把关上的不可替代性。此前OpenAI发布722篇数学论文后，他牵头成立人类数学协会呼吁抵制。