Haider：OpenAI 数学证明能力引发两极反应，人们仍低估能力曲线

Haider 评论 OpenAI 数学证明能力引发的两极反应，称数学家对 AI 的认可、否认与末日论分歧巨大，聪明人仍在低估能力曲线走向。他还观察到，采用 AI 的软件工程师正越来越多地把自己定位为编排 agent 集群的系统级思考者。