由N-S难题引发的一些深思

文章探讨了AI在数学证明和软件工程中的角色，指出尽管AI擅长解决明确目标的问题，但数学家创造新问题的能力使其较难被完全替代。同时分析了程序员和AI研究员面对自动化风险的不同情况。