科技脉搏Claude攻克概率论“圣杯”,AI跨过菲尔兹奖终点线文章称,Anthropic工程师提交的Claude生成并经Lean验证的代码,或已证明困扰数学界数十年的渗流理论连续相变猜想;相关说法仍待原作者及数学界审查确认3小时前Claude攻克概率论“圣杯”,AI跨过菲尔兹奖终点线文章称,Anthropic工程师提交的Claude生成并经Lean验证的代码,或已证明困扰数学界数十年的渗流理论连续相变猜想;相关说法仍待原作者及数学界审查确认。来源:华尔街见闻3小时前