Cccy的小站

现代以来，数学研究已经慢慢变成了一种高雅的“艺术创作”，它十分抽象，不需要有什么铺垫，正在按照一种理想主义的方式前进。而以前的数学是更为直观实际的，从现实出发，构建的理论大多数是从生活里得到的启发。目前纯粹的数学和应用数学之间存在巨大的时间差，而这种差异还在被逐渐拉大。

加上数学城墙不断扩张、专业化，导致了一个后果，数学慢慢变成了一个只面向天才的学科，普通人没有资格参加这种“艺术”。又因为越来越理想主义，那一小撮数学天才可能很少有心思去考虑如何培养后辈，如何让数学普惠大众，而仅仅是忙于构建自己的研究体系。

这其实导致了一种知识的垄断，你可以发现中世纪大多数数学家都有一个天才老师或者一个高知的教育环境，数学研究变成了一种学阀的形式，直到近代各种教育体系建设之后才有所缓解。

而ai的出现其实极大地缩小了普通人和这种天才的间隔，让数学这个学科变得更“亲民”，试想一个普通人，在给英格兰地图上色的时候，发现好像只需要四种颜色就能涂完整个地图，但不知道为何时，也有机会用ai证明出来一定成立，或是突然想知道一根针投在一排排平行线的木板上，碰到线的概率是多少时，也可以让ai来解出这个概率。这些将是极其美妙的事情。数学未来将可以被任何人研究，可以更加贴合实际需要，更加广泛被使用。数学本应是属于所有人的智力劳动。一个普通人可以拥有敏锐的数学直觉、发现有价值的问题，却不一定受过专业的数学训练，如果ai能承担这种推理工作，那么发现问题的人就有更大的机会参与知识创造。

所以我一直觉得ai对数学的突破是非常好的事，而不是说ai替代数学家这么简单。类比摄像技术对绘画艺术的影响，摄像没有让艺术消失，反而让更多的人平等地参与到了艺术创作。但以往那种缓慢扩张、人工验证的数学期刊评价体系必须要做出改变了，同时，ai数学带来的“黑盒”性，也必须得到补正，但这至少是一件可以看见，也可以解决的事。其实说数学一定民主化也过于乐观，未来是否会变成大公司垄断算力和高端模型，也有一些悬念。

普通人画画，不需要证明自己能够成为一流画家。

普通人写诗，也不需要先掌握所有文学理论。

那为什么普通人探索数学，就一定需要先完成漫长的专业训练，才有机会参与数学创作？

我觉得数学未来也许会像画画一样，成为一种“亲民”的艺术。