数学证明过剩：从稀缺到理解的范式转换 在2026年国际数学家大会（ICM）上，华裔澳大利亚裔美国数学家陶哲轩教授提出一个深刻问题：当人工智能能够以可接受成本持续完成相当一部分研究级数学工作时，数学是... 2026年07月31日 人工智能 #人工智能 #经济学研究
