AI 能否像伽罗瓦一样催生新数学引发讨论

围绕 AI 的数学能力,一篇反事实思想实验提出:假如伽罗瓦理论从未被提出,让 AI 回答哪些次数的多项式可用根式求解,它大概率能证明五次以上方程无根式解。另有评论回应 OpenAI 近期数学成果,认为只盯结果会错过关键——正如伽罗瓦当年的价值不止于给出'否'的答案,而是催生新数学,讨论聚焦 AI 证明能否带来类似的范式创造。

2026-09-12 ~ 2026-09-12 · 2 条相关