【雅可比猜想被AI击碎：数学界的灯下黑】Anthropic研究员通过Claude Fable发现了一个三元多项式反例，彻底证伪了困扰数学界87年的雅可比猜想（Jacobian Conjecture）。该公式的Jacobian determinant恒等于-2，满足局部可逆前提，却将三个不同输入映射至同一输出，证明了局部平滑并不保证全局单射。目前该反例已通过Lean形式化验证。这件事最震撼之处在于其极简的结构：公式短小，所有系数仅为个位数。数学家在超过10^400种可能性的空间里搜寻百年无果，AI却锁定了这个近乎平庸的解。这揭示了一个事实：人类在处理这种逻辑简单、但搜索空间巨大的“缝隙”时存在系统性盲区。AI不仅是在预测Token，它正在通过推理定位那些人类因思维定式而略过的真理。这件事标志着AI正从对话工具进化为科研加速器，它并不取代逻辑，但它能照亮人类逻辑的死角。 x.com/i/status/2079028340955197566