让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪

摘要

困扰数学家张益唐七年的雅可比猜想，竟被名为Fable 5的AI工具在一夜之间推翻证伪。Fable 5通过自动推理和搜索反例，发现该猜想在特定条件下不成立，直接终结了多年的学术争议。这件事让数学界既震惊又兴奋——AI不仅能辅助证明，还能彻底否定经典猜想，预示着计算数学工具将在理论发现中扮演更激进的角色。