【AI先人类一步证明数学猜想】渗流理论里有个挂了几十年未决的猜想，法国数学家Hugo Duminil-Copin前几天还写文章说，这题极简又极难，人类卡住了，但AI估计能先破局。话音未落，Anthropic就用Claude构造了一个全新数学对象，跳过人类论文里的猜想缺口，再用Lean4形式化验证了一遍。OpenAI和Anthropic现在扎堆往科研数学里钻，不是因为别的，而是普通题大家都考满分，只有这种深水区才能看出谁真行。更现实的是，普通人的数据AI早就吃饱了，前沿科学家的思维轨迹才是它眼馋的新矿。你手里那个觉得AI暂时碰不了的专业壁垒，还能撑多久？AI4S 你觉得AI会先攻破你的领域吗