数学家自省：AI 证明定理越来越强，人类数学家需要重新定位

notmisha 在 X 发帖认为，机器证明定理的能力会持续提升，数学界需要重新思考「作为人类数学家意味着什么」，以及在与 AI 共享的世界里人机共同想达成什么。他称「唯一的出路是穿过去」，并指出此类批评有先例——当年关于量子力学物理意义的争论同样塑造了人们对实在的理解。