Claude证明概率论圣杯级渗流连续相变猜想，AI跨过菲尔兹奖终点线

Anthropic工程师在GitHub提交的代码显示，Claude自动生成并经Lean形式化验证的证明已攻克渗流理论中的连续相变猜想，即困扰数学界约70年、3至10维情形下的概率论圣杯难题。