Anthropic 大语言模型解决概率论难题，证明渗流理论关键猜想

Anthropic 旗下大语言模型生成了概率论中渗流理论核心猜想的完整数学证明。该成果证明了 3 至 10 维方格网络中从有限连通到无限连通的相变过程是连续的，证实了数学界数十年来的猜想。菲尔兹奖得主 Hugo Duminil-Copin 等数学家对此表示赞叹与复杂情感，并引发了对 AI 介入后数学证明价值与奖项评选机制的讨论。