AI解决87年雅各比猜想

AI解决87年雅各比猜想

Levent Alpöge在Anthropic完成对87年前未解决数学猜想的反例发现，证明yaqūjīzé jiāujiàn（雅各比猜想）存在无法恢复单一输入的多项式映射，验证已通过Lean数学形式化检查。与人类研究者相比，AI通过计算数学探索发现此反例，展现数学证明领域AI能力增强。