昨日刚感叹人工智能终于向黎曼猜想发起了冲击，已经完成了三分之二的证明；今天就看到数十名菲尔茨数学奖获得者们联名反对使用人工智能破解数学难题。
我的第一反应是不解，为什么有了好用的工具这些数学家反而要反对呢。再仔细看新闻内容，原来数学家反对的不是用人工智能工具来解题，而是由企业来主导解题这件事情。那么，我的第二个不解是难道这些数学家怕被企业和人工智能联合抢了饭碗？
我还是觉得不太对。如果要找出这个世界最无私的人，我觉得首先入选的肯定是数学家，与世无争，眼里只有数学这个人类的基础问题，一个数学命题的证明，未来让各方都会直接受益，但是这位数学家可能还是与名利无关，继续在基础学科里默默耕耘。
所以，重点是企业。企业的背后，尤其在西方国家，大多都是被少数人控制的私有企业，虽然也有很慷慨的企业家，但是人性可能无法抵抗企业规则，一旦让企业掌握了人类基础问题的答案，可能就无法像数学家那样，无私把答案公布出来，企业的受益者大概率不会是全人类，而只是服务的那一部分人群。我觉得这个可能才是数学家们最担心的时候，不是工具问题，而是数学问题的答案掌握在谁手里的问题了。
