搜索
Claude 证明概率论「圣杯」渗流猜想，AI 跨菲尔兹奖级难题终点线
3 小时前
2022年菲尔兹奖得主Hugo Duminil-Copin曾预言，困扰学界半个多世纪的概率论难题——渗流理论中的连续相变猜想，终将被AI攻克。几乎与此同时，Anthropic工程师在GitHub上发布了由其内部超前代Claude大模型生成，并经Lean严格验证的完整证明代码，宣告这一70年未解的3至10维空间渗流连续相变猜想已被AI攻破。该猜想关注临界点处是否存在无限大连通网络，此前人类仅证明了二维及11维以上维度的情况，3到10维因缺乏适配工具而成为研究瓶颈。2024年，两位数学家将该猜想的证明简化为求证一个特定代数不等式，但未能突破。AI则依托人类前期研究，以人类未想到的精巧路径完成了推导。这一消息在数学界引发了复杂反响，有人视为非凡突破，也有人因AI抢先完成而心生失落，部分学者仍在等待AI给出人类可理解的证明过程。此事件也引发了对数学研究未来的思考，证明定理并非数学的全部，过往攻克难题的过程往往催生新数学工具与思路，未来数学家或将从繁复推导中解放，转向更具创造性的探索。
