AITNT · AI头条（网页）·· 27 days agoSelectedAI score79
Anthropic 借助 Claude 与 Lean 形式化证明概率论渗流猜想
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
Not yet translated; shown in Chinese.
AI guide
Anthropic 工程师在 GitHub 提交了由内部 Claude 模型生成、并经 Lean 形式化证明语言验证的完整代码，攻克了困扰概率论界近 70 年的渗流理论连续相变猜想。
Why it matters
原文展现了大语言模型在 Lean 形式化验证框架下攻克前沿数学猜想的路径，读者可借此了解 AI 在高维符号推理领域的最新突破。
Source:AITNT · AI头条（网页） · aitntnews.com