自8月以来,AI公司如Anthropic和OpenAI在数学领域取得了一系列重大突破。Anthropic宣称其研究版Claude模型在黎曼猜想上获新进展,Fable模型仅用11天完成了费马大定理的完整证明。OpenAI也宣布GPT-6 Astra模型在有界素数间隔问题上有新发现,并内测模型在88小时内解决了纳维-斯托克斯问题。
然而,随着AI在数学难题上的持续突破,顶尖数学家们感到忧虑。9月11日,包括陶哲轩和邓煜在内的25位菲尔兹奖得主联名发表声明,认为AI公司将攻克数学难题视为大模型性能标杆的做法,对数学科学及其研究界产生了消极影响。他们担心AI会对数学研究的本质产生“剧透”效应,即过早依赖AI解决问题可能腐蚀数学的研究过程。
声明指出,数学的研究不仅仅是寻找最终答案,更是理解和提出新问题的过程。陶哲轩提到,很多数学问题的解决过程能够推动整个领域的发展。而如王传彪所说,虽然AI可能给出答案,但其过程中的知识和方法更具价值。 球友会官网
AI在解决数学问题时,是否能提供重要的“中间产物”?目前来看,AI的解题过程仍然不够透明,缺乏对推理和思维链的完整展示,这使得数学家们难以准确评估AI生成成果的有效性。此外,AI带来的候选结果数量激增,导致学术评价机制面临压力与挑战。
不过,AI在数学研究中的推动作用并非仅限于负面影响。相较于以往,数学家们利用AI提升了学习与研究效率,跨领域学习的门槛降低,甚至促进了许多已有方法的发现。
总的来说,AI在数学研究的应用既带来了机遇,也引发了对其影响的深刻反思。数学家们呼吁需谨慎应对,以确保数学的研究质量不被削弱。 球友会官网
Copyright © 球友会(中国)官方网站-千亿球友会 版权所有 网站地图
留言框-