正道语文资源网正道云课 → 【时文美文阅读】AI的发展正在严重挑战数学发展!

正道语文一发终生赚 欢迎申请各省市中语会馆馆长 正道语文手机网站和微信平台

  共有16人关注过本帖树形打印

主题:【时文美文阅读】AI的发展正在严重挑战数学发展!

帅哥哟,离线,有人找我吗?
陈虹宇
  1楼 作者专栏 | 博客 | 信息 | 邮箱 | 主页 | UC | 会馆 | 点券 | 帮助 | [只看该作者该主题]


加好友 发短信
勋章:
等级:高管 帖子:44 积分:294 威望:0 精华:0 注册:2022-07-31 14:08:33
【时文美文阅读】AI的发展正在严重挑战数学发展!  发帖心情 Post By:2026-09-13 03:20:00     标签Tags:  【时文美

编者注:9 月 11 日,陶哲轩、邓煜等 25 位菲尔兹奖得主联合署名发表了一份公开信《人工智能在数学中的严重错位(A Severe Misalignment of AI in Mathematics)》。该文章指出:当今AI迅猛发展,并迅速解出一个又一个极难的数学题目。然而,我们不能忘记数学发展的初衷。在数学发展中,解出题目不是最终目的,它们只是一个启发数学家产生新洞察、新思考,促进交流和普及推广的载体。
【原文网址】https://mathandai.org/ 
【翻译及解读】(机器之心公众号推文

【参考翻译】编辑自上述公众号推文的翻译

人工智能在数学中的严重错位

过去几个月,大语言模型的数学能力急剧提升,以至于它们能够解决许多数学领域中重大问题。然而,AI 公司把解决数学问题当作基准测试1来推进的做法,对数学这门科学、也对数学社区是有害的。AI 公司的目标与数学社区的目标严重错位。我们认为这属于对齐问题2的一部分,这一问题正在影响其他科学与创造性行业,乃至整个社会。


研究数学,是研究形状、数字与自然现象的基本结构。在一代又一代人的努力中,它建立起了一整套庞大的、精巧的思想、方法、抽象思想与其他工具体系,用以理解数学的天地。而且,现代科技也建立在数学工具之上。


著名的数学问题常常扮演地标与灯塔的角色,我们以它们为尺度,衡量对数学天地的理解是否有所推进。解决其中一个问题,往往标志着我们发现了一些新洞见和新方法,而这些洞见与方法随后会被整个数学社区研究——通过报告、讨论、简化这一漫长艰辛的过程。在这个过程的终点,我们可能能形成适合研究生、甚至本科生都能学习的教科书级别的表述。有些数学思想的旅程还会走得更远:在几十年甚至几个世纪之后,它们成为被全体人类理解和使用的工具。


数学社区在许多方面都像一个人类社会的微缩版本。每个人用不同方法研究,但因共同的核心价值观而聚合在一起。我们这个行业最珍贵的资源是学生和思想,我们以极大的用心呵护它们。我们有责任发掘他们的潜力,让他们充分成长,直到他们能够在数学世界中拥有自己的一方天地。对于学生,我们布置问题时的核心意图往往是培养技能,以备他们从事科研或其他方面。我们用在报告、讨论和评注中传递的观点,将他们与前人的思想连接上。这些过程无一例外都需要时间,并且建立在人与人的互动之上。


最近几个月,AI 在解决重大数学问题上的成功,甚至在数学圈之外也登上了头条。但解决问题只是一种工具,是通向首要目标——概念性的理解与洞见——的一步。在 AI 时代里忘记这一点,可能会使这一步反过来成为首要目标。事实上,以越来越快的节奏大规模生产对于命题的“真/假”判断,可能摧毁孕育新思想的沃土,而不是为它注入生命。


这些AI的解答常常匆忙公布,没有留出时间写出像样的论文、提炼出新的方法与思想、并引用他人相关的先前工作。正如在所有创造性行业中一样,这引发了严重的归属争议与剽窃问题。此外,如果没有愿意承担责任的数学家去发展这些思想、并将其整合进数学的大厦,AI 构想出的想法将永远无法真正活起来,数学家之间那些至关重要的人际传承链条也会就此消失。


我们正在目睹一种对智力工作的普遍威胁:使用 AI 的结果与其最初目的之间出现了错位。在许多领域中,多年的训练一直以来不仅是为了产出一个最终答案或产品,也是为了加深对这领域的理解,以及提出新问题和新思想的能力。然而,在庞大的人类既有工作的基础上,AI 系统正变得越来越有能力直接产出结果,而这些目标似乎被抛诸脑后。数学社区当下面临的问题,与其他科学和创造性行业正在面临的问题相似,并且也是全人类可能面临的问题:当 AI 改变完成工作的方式时,我们如何确保自己不会忘记这项工作最初是为了什么。


AI 确实在促进数学研究和理解方面有潜力。数学这个行业需要在多方面适应这个变化。然而,这个变化最终是让数学受益,还是受害,将在很大程度上取决于掌控这项新技术的人所做的决定。


这些问题刻不容缓:在数学社区内部,在开发这些技术的公司那里,以及更广泛地,在一个也会在其他智力领域遭遇这些问题的社会之中。


阿图尔·阿维拉(Artur Avila,2014 年菲尔兹奖)

曼朱尔·巴尔加瓦(Manjul Bhargava,2014)

考切尔·比尔卡尔(Caucher Birkar,2018)

皮埃尔·德利涅(Pierre Deligne,1978)

邓煜(Yu Deng,2026)

西蒙·唐纳森(Simon Donaldson,1986)

雨果·杜米尼-科潘(Hugo Duminil-Copin,2022)

阿莱西奥·菲加利(Alessio Figalli,2018)

马丁·海雷尔(Martin Hairer,2014)

许埈珥(June Huh,2022)

马克西姆·孔采维奇(Maxim Kontsevich,1998)

埃隆·林登施特劳斯(Elon Lindenstrauss,2010)

皮埃尔-路易·利翁斯(Pierre-Louis Lions,1994)

詹姆斯·梅纳德(James Maynard,2022)

柯蒂斯·麦克马伦(Curt McMullen,1998)

森重文(Shigefumi Mori,1990)

吴宝珠(Ng? B?o Chau,2010)

安德烈·奥昆科夫(Andrei Okounkov,2006)

彼得·舒尔茨(Peter Scholze,2018)

斯坦尼斯拉夫·斯米尔诺夫(Stanislav Smirnov,2010)

陶哲轩(Terence Tao,2006)

玛丽娜·维亚佐夫斯卡(Maryna Viazovska,2022)

塞德里克·维拉尼(Cédric Villani,2010)

文德林·维尔纳(Wendelin Werner,2006)

叶菲姆·泽尔马诺夫(Efim Zelmanov,1994)







    
    

【路过不错过】
不赚白不赚,一赚终生赚参加
②急聘网站版主(申请
③所属省市正道会馆(申请
【赚取金币】
①积极发表交易贴
②经常积极参与本网活动
③点击顶栏“购买点券•金币”(购买

支持(0中立(0反对(0回到顶部
帅哥哟,离线,有人找我吗?
陈虹宇
  2楼 作者专栏 | 博客 | 信息 | 邮箱 | 主页 | UC | 会馆 | 点券 | 帮助 | [只看该作者该主题]


加好友 发短信
勋章:
等级:高管 帖子:44 积分:294 威望:0 精华:0 注册:2022-07-31 14:08:33
  发帖心情 Post By:2026-09-13 03:20:08     标签Tags:  【时文美

 
【注释】
1、“基准测试”:英文为benchmark
它相当于 AI 领域的“标准化考试”,是一套用于衡量、比较和追踪模型能力与性能的标准化测试集、评估指标与测试流程,为不同模型提供了统一、可复现的评测办法。
2、“对齐问题”:英文为
Alignment。指的是在AI发展时,如何确保其目标、行为与价值判断,能够与人类的真实意图、伦理规范和根本利益保持一致(对齐)。
当模型在数学优化目标上“完美达标”,但其实际行为却违背人类真实初衷、产生意外危害或失控时,就出现了对齐失败(Alignment Issue)。

支持(0中立(0反对(0回到顶部
帅哥哟,离线,有人找我吗?
陈虹宇
  3楼 作者专栏 | 博客 | 信息 | 邮箱 | 主页 | UC | 会馆 | 点券 | 帮助 | [只看该作者该主题]


加好友 发短信
勋章:
等级:高管 帖子:44 积分:294 威望:0 精华:0 注册:2022-07-31 14:08:33
  发帖心情 Post By:2026-09-13 03:20:20     标签Tags:  【时文美

【英文原文】


A Severe Misalignment of AI in Mathematics
Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of the AI companies and the goals of the mathematical community are severely misaligned. We see these as part of broader alignment issues impacting other scientific and creative professions, as well as the whole of society.

Research mathematics deals with understanding basic structures of shapes, numbers, and natural phenomena. Over the course of generations, it has built a large corpus of sophisticated ideas, methods, abstractions, and other tools to comprehend the mathematical landscape. In turn, modern technologies and sciences are based on mathematical tools.

Famous problems have often served as landmarks and lighthouses against which one can measure an improved understanding of this landscape. Solving one of these problems has been a certain sign of new insights and interesting methods, which would then be studied by a community of mathematicians, through a long and arduous process of talks, discussions, simplifications. At the end of this process, one will ideally find a textbook presentation of the results suitable for any graduate or even undergraduate student to study. Some of the mathematical ideas pursue their journey even further to become, decades or centuries after, tools that are understood and used by the whole population.

The mathematical community functions, in many ways, as a miniature version of humanity. It consists of individuals using a wide variety of different approaches, joined by core values. The most precious resources of our profession are students and ideas, and these we nurture with great care. We feel responsible to let them grow to their full potential, until they can live a life of their own in the mathematical world. For students we often suggest problems with the core intention of developing skills making them well-positioned for advances in research and elsewhere. Our ideas we disseminate in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.

In recent months, the success of AI in solving major mathematical problems has made headlines even outside mathematical circles. But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of "true/false" statements could destroy fertile ground instead of breathing life into new ideas.

Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others. As in all creative professions, this raises severe attribution and plagiarism questions. Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.

We are witnessing a general threat to intellectual work, with misalignment between the outcome of the use of AI and its initial purpose. In many fields and activities, years of training have traditionally served not only to produce a final answer or product, but also to develop understanding and the ability to formulate new questions and ideas. However, building on a vast body of previous human work, AI systems are becoming increasingly capable of producing the results of such work directly, and these goals cease to align. The issues the mathematical community faces now are similar to issues that other scientific and creative professions are facing, and indicate issues that all of humanity might face: how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place.

AI offers the potential of enhancing and accelerating genuine mathematical study and understanding. Mathematics as a profession will need to adapt to these changes in several ways. However, whether these changes ultimately benefit the field or have a destructive effect will in large part be determined by the decisions of the humans in control of this new technology.

These issues must be addressed urgently, in the mathematical community, by the companies developing these technologies and, more broadly, by a society that will confront similar problems in many other forms of intellectual work.

Artur Avila (Fields Medal 2014)
Manjul Bhargava (Fields Medal 2014)
Caucher Birkar (Fields Medal 2018)
Pierre Deligne (Fields Medal 1978)
Yu Deng (Fields Medal 2026)
Simon Donaldson (Fields Medal 1986)
Hugo Duminil-Copin (Fields Medal 2022)
Alessio Figalli (Fields Medal 2018)
Martin Hairer (Fields Medal 2014)
June Huh (Fields Medal 2022)
Maxim Kontsevich (Fields Medal 1998)
Elon Lindenstrauss (Fields Medal 2010)
Pierre-Louis Lions (Fields Medal 1994)
James Maynard (Fields Medal 2022)
Curtis McMullen (Fields Medal 1998)
Shigefumi Mori (Fields Medal 1990)
Ng? B?o Chau (Fields Medal 2010)
Andrei Okounkov (Fields Medal 2006)
Peter Scholze (Fields Medal 2018)
Stanislav Smirnov (Fields Medal 2010)
Terence Tao (Fields Medal 2006)
Maryna Viazovska (Fields Medal 2022)
Cédric Villani (Fields Medal 2010)
Wendelin Werner (Fields Medal 2006)
Efim Zelmanov (Fields Medal 1994)

支持(0中立(0反对(0回到顶部
=