原帖以AlphaGo击败李世石后围棋界的变迁为喻，认为数学家也需适应AI主导发现的新现实。网友激辩：有人担忧AI证明难以验证且会截断年轻学者的成长路径，有人则认为这恰是数学新基石，人类仍可为热爱而研究。