AI连续破解未解数学题,数学家心情复杂

AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

精选理由

菲尔兹奖得主自己说GPT-5.6 Pro一次就解出他头疼的问题,还警告数学文化危险,这篇值得看。

AI 摘要

OpenAI用AI反驳了单位距离猜想,引发数学界关注。菲尔兹奖得主Timothy Gowers表示,GPT-5.6 Pro首次尝试就解决了他长期研究过的两个问题。他警告这可能造成数学文化消亡,因为数学家不再构建理解结果所需的知识。另一些研究者则把AI视为提升效率的工具。

原文 · Decoder

AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two problems he had spent considerable time working on, each on its first attempt. He warns of the "possible destruction of mathematical culture" if mathematicians stop building the expertise needed to understand such results. Others simply see AI as a productivity tool. The article AI keeps cracking unsolved math problems, and mathematicians have mixed feelings appeared first on The Decoder .

AI连续破解未解数学题,数学家心情复杂 · AI 热点