AI两个月攻克悬置40年数学难题M23

IT时代网9月8日消息，据Chosun报道，国际数学界近日迎来一项标志性突破。一篇上月上传至预印本平台arXiv的论文显示，一个由多国研究者组成的团队借助人工智能，仅用两个月时间就攻克了悬置近40年的数学难题M23，即逆伽罗瓦问题中仅存未解决的分支。论文首页展示了一个复杂的23次多项式，部分系数长达14位，达到数十万亿量级。

参与这项研究的韩国高等科学院AI基础科学中心兼职学者、美国康涅狄格大学教授李奎焕7日接受视频专访时表示，论文中两次出现「不可思议地」这一表述，反映了数学家与人工智能一同探索未知领域时的惊讶之情。他强调，AI并未独立解决难题，但没有AI，不可能如此迅速找到解。

这项研究的起点是5月下旬美国数学研究所的一场研讨会。过程中AI负责海量计算、编程与假设验证，人类则决定计算方向并判断数学有效性。李奎焕将这一体验比作2016年AlphaGo对阵李世石时的第37手——当时顶尖棋手都看不懂这步棋，后来证明是制胜一着。他说，AI先给出正确计算，起初没人明白它是如何到达那里的，人类跟随并理解AI的时代已经到来。

谈及AI当前的水平，李奎焕形容其相当于一名博士后期研究者：过去让学生找资料要花一天，现在AI十分钟就能给出答案；过去耗时数天的编程任务，如今几分钟完成。被问及人与AI的贡献比例时，他表示这就像区分乐队指挥与乐手的贡献，难以量化。

这场人机协作也在冲击数学家的培养与评价体系。李奎焕指出，如果AI三天就能解决过去要博士生钻研三年的问题，就没有理由再让学生为此学习三年。他透露，两年前他还认为数学远在AI触及范围之外，但转变在不到半年内发生。他甚至预计，如果人与AI的协作边界无法清晰划分，被称为数学界诺贝尔奖的菲尔兹奖或于2030年迎来末届颁发。

他预判数学界将经历5到10年的动荡期，但若顺利度过，一个数学的黄金时代可能到来——人类可以把AI当作「钢铁侠战衣」，去攻克过去单打独斗无法解决的问题。同时他强调，AI越强大，人类的数学思维能力越关键，能够掌控和监督AI的，恰恰是数学功底扎实的人。

背景资料显示，逆伽罗瓦问题与常规思路相反：不是给定方程求解，而是给定想要的解结构，反过来构造能产生它的方程。该问题以提出方程新原理的法国数学家伽罗瓦命名，好比从味道反推菜谱。已提出的26个类似「口味」的问题中25个早有解答，M23作为压轴一关，此前悬置40年，如今被李奎焕团队攻下。

编辑：林一舟