人工智能促使数学家重新思考现成成果的价值——《日本时报》
人工智能正日益积极地参与寻找数学证明，这促使该领域重新思考：数学的价值是否仅在于现成的结果，还是也在于漫长的人类发现过程。彭博社专栏作者帕尔米·奥尔森在一篇由《日本时报》刊发的文章中谈到了这一点。
作者指出，人工智能正在帮助处理长期存在的问题，包括所谓的雅可比猜想。纯数学研究生柯文·汉普郡在一篇在网上传播开来的帖子中写道，由于数学家可能在机器人创造新证明时沦为旁观者，他陷入了精神危机。
从证明稀缺到证明过剩
菲尔兹奖得主陶哲轩认为，人工智能可能使数学从证明稀缺转向证明过剩。在这种情况下，现成的数学结果可能会失去价值，就像算法大规模生成的文本、图像或分析材料一样。
剑桥大学退休数学家基思·卡恩解释说，计算机的优势在于能够比较同一问题的许多可能关联和解决方法。不过，据奥尔森的叙述，最重要的数学突破并不局限于证明某一条定理：它们会开辟新的思维方式，并为后续研究和实际应用奠定基础。
更多最新消息请关注 UA.News Telegram 频道 Telegram.
人类理解的问题
京都大学数学研究人员本杰明·科拉斯称，集体知识才是数学工作的真正成果，而已发表的定理和证明只是其残余。在他看来，风险在于软件将生成越来越多、人们却越来越难以理解的数学知识。
奥尔森写道，借助人工智能创建一项证明可能只需数小时，而理解结果并将其纳入人类知识则需要数年。她认为，这向大学提出了问题：应支持教学、解释他人的成果、建立共享数据库和数学图书馆，而不应只关注科研出版物的数量。
该专栏指出，类似的困境也出现在写作和法律领域：当人工智能降低创建文本和文件的成本时，人类判断力、识别重要问题的能力以及选择论点的能力将变得更加重要。
