夜雨聆风点击蓝字 关注我们
数学，这块人类心智的荣耀，正面临一场前所未有的「降维打击」。当算法的「非人化」优势把80年的接力变成32小时的副产品时，我们不得不问：人类到底想要一个又一个正确答案，还是想要理解这些答案的过程？
数学家，慌了！
上月，OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题。
这是AI首次自主攻克领域核心开放难题。
数学领域迎来了「AlphaGO」时刻：以AI为师，「师夷长技以制夷」。
而且，像计算器一样，AI扩展人类的好奇心而非摧毁它。
事实上，数学家已经在利用这个解法的方法，并将其用于攻克其他长期存在的数学问题。
AI「让许多看似不可能的事情变得可能」。
菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）感叹：
如果AI能证明单位距离猜想，也许数学家很快就要完蛋了。
次日早上收到邮件澄清后，他才明白这是证伪而非证明，松了一大口气。
数学，这块人类心智的荣耀，正面临一场前所未有的「降维打击」。
为什么八十年的人类接力，输给了硅基算力？
原因并非AI比我们更「聪明」，而是它比我们更「非人」。
外媒报道，背后有三大原因。
首先，是「反直觉的暴力」。
人类数学家在思考时，往往带有某种审美的惯性，我们倾向于证明埃尔德什是对的，因为那符合直觉的简洁美。
但AI没有审美。
它在代数数论与离散几何这两个人类专家极少交叉的领域之间，搭建了一座诡异的桥梁，找到了一种人类因「偏见」而从未尝试的点阵排列。
第二个原因是，人类擅长深耕专业，而AI擅长综合贯通。
数学家往往专注于自己的特定领域，而AI模型则利用其广博的知识，识别出我们自己无法察觉的联系。
在这个案例中，这意味着同时调动代数数论和离散几何两个领域——它们之间的共同点，大概就像马拉松和撑竿跳高一样少。
最后，是「不间断的专注」。
AI不会疲倦，不需要接孩子放学，更不会在挫败面前退缩。
那长达7.5万字的逻辑链条，如果是人类书写，需要数年的专注；而对AI来说，那只是每秒数万亿次浮点运算中泛起的一朵浪花。
当真理的发现变成了一种算力资源的副产品，数学研究的性质正在发生质变。
AI「秀肌肉」的同时，约60名顶级数学家、计算机科学家在莱顿大学紧急集结，签下了一份沉甸甸的文件：《莱顿人工智能与数学宣言》。
他们担心的不仅仅是「丢掉工作」。他们担心的是：数学正在从一种「公共知识」，沦为「商业黑盒」。
长期以来，数学是这个世界上最透明、最纯粹的学科。任何成果都会放在arXiv上免费共享，任何人只要有笔和纸，原则上都能验证真理。
但现在，游戏规则变了：
数据征收： 商业公司利用数学家无偿分享的论文训练AI，却在产出成果时选择「闭源」或延迟发表。 理解的断层： AI给出的证明越来越冗长、晦涩。如果一个证明正确，但全球没有一个人类能读懂它，那这还能被称为「人类的知识」吗？ 权力的倾斜： 拥有顶尖算力的公司，实际上掌握了定义「什么是重要数学问题」的权力。
《莱顿宣言》的核心直指痛处：不能让商业逻辑碾压开放科学。
如果数学家失去了对研究方向的自主权，如果真理必须通过付费API才能获取，那么人类文明的逻辑基石将面临塌陷。
在AI攻克埃尔德什难题后，人们发现AI的解法虽然正确，却极其古怪。它更像是一个「神谕」：它告诉你结果，却不解释为什么。
这正是人类数学家坚守的底线：数学不仅仅是产生一系列「正确结论」的工厂，它更是在形成结论的过程中，赋予人类以理解、清晰度和判断力。
「计算器可以告诉我们1加1等于2，但它永远无法告诉我们为什么要追求真理。」
《莱顿宣言》的出现，是人类在算法荒原上划出的一道红线。它提醒我们，在AI时代，我们必须守住那道「莱顿围栏」：
披露权： 任何论文必须透明披露AI的使用。
验证权： 商业AI不能垄断真理的解释权。
自主权： 数学的发展应由好奇心驱动，而非由算力盈利率驱动。
想象一下，如果未来的数学书里写满了人类看不懂的符号，而解释这些符号的钥匙锁在某些公司的保险柜里，那将是人类智力史上最黑暗的一天。
守住数学，就是守住人类作为逻辑物种的最后尊严。
参考资料：
转载自【新智元】
往期精选
关于EAILab壹贰实验室
EAILab壹贰实验室涵盖课程、平台、实验室。相关人工智能课程以PBL项目化学习方式，重视跨学科融合、创设情境式课堂、创设丰富的实践活动、关注技术动态适应科技更迭。在课程先期开发和广泛应用的基础上，为师生提供全方位、智能化的“学AI”和“AI教“的EAI人工智能教育双平台。
学AI：EAI人工智能教育平台，集成了AI实训项目、智能助手、在线编程工具等多元模块，为学生提供全方位的学习支持。学生可通过图像识别、语音识别、自然语言处理等实训项目，动手操作AI技术。学生可使用各种AIGC工具，创作个性化作品。通过图形化编程和Python编程，并引入Cloud studio平台，使学生逐步掌握AI核心技能。学生还可以参加deepracer AI创想家等AI线上活动。
AI教:EAI人工智能备课平台，依托先进的大语言模型技术，以知识库工作流的方式，助力教师的教学设计与作业设计，为教师提供智能教学解决方案。无论是大单元课程、项目化课程设计的灵感激发，还是作业设计的精准把握，EAI备课平台都以智能化的方式，助力教师提升备课效率、优化教学资源，教师还可以在平台上利用各种工作流搭建个性化的智能体。
EAILab人工智能实验室致力于前沿技术转化为教育资源、优质资源整合与实训项目开展、创新人才培训与教师培训实施等。其中包含创新教学体验区、自动驾驶体验区、仿生机器人体验区、AIGC体验区等。目前，第一个EAILab实验室已在浦东落地，占地1000多平方米。孩子是我们的下一代，人工智能是下一个时代。作为教育人工智能的入口，EAILab壹贰实验室将秉承“接入下一代”的初衷，始终站在教育科技的前沿，与所有关注教育发展的人士一起，共同探索AI时代教育的新形态。
获取平台试用账号请联系：
上海地区联系人
薛老师
联系电话
13361980558
全国地区联系人
于老师
联系电话
13916556341
