人工智能下的高智商从业者的境遇。
网传AI 已完成费马大定理形式化证明，也极有可能形式化庞加莱猜想的证明。
好在这二大几百年未解的数学难题，已由人类在Al证明之前攻克。
但另一道悬赏 100 万美元的千禧年难题纳维-斯托克（Navier-Stokes）方程，据传已被 Anthropic 的 Claude 先与人类解决，证明正送专家评审。
人工智能发展到如此程度，那么人类数学家（当然也包括所有高智力工作者）还有何用武之地？
数学难题（猜想）的证明，其意义并只不在证明结论本身。从以往人类证明的这类问题的实际情况来看，证明过程中所产生的模型和理论更具有现实的应用价值。所以，Al的发展，也不应该单纯的"黑箱"操作，更应该向实际应用场景引导。
