AI 研究者 Fleuret：数学的真理「与上下文无关」，其他领域不具备这一特质

François Fleuret 回应「AI 先攻下数学」的讨论，认为数学的真理是「与上下文无关」的——结论一旦证明便无条件成立，其他领域无法做到这一点。他指出最接近的是计算机科学与编程，但程序的适用范围仍受上下文约束，不能像数学定理那样说「对任意 n 都成立，取 n=1e250 就行」。