数学只是语言吗：一场关于 LLM 为何擅长数学的争论

LucaAmb 反驳「数学就是一门语言，这正是 LLM 擅长它的原因」的主张，认为数学大于语言——只有被形式化之后它才成为语言，而任何形式化都无法穷尽数学本身。争论的核心在于，LLM 的数学能力到底是对语言的把握，还是对形式符号的操作。