HyperAIHyperAI

Command Palette

Search for a command to run...

AI或助证伪困扰学界87年的雅可比猜想

7月20日,Anthropic研究员兼数学家Levent Alpöge在社交平台发布一则疑似推翻雅可比猜想的数学成果,引发学界广泛关注。该由Anthropic最新AI模型Claude Fable 5生成的三元多项式映射,成功满足了猜想雅可比行列式恒为非零常数的前提条件,却将三个不同输入点映射至同一输出,直接破坏映射的单射性。经斯坦福大学学者及多名研究者利用SymPy、Wolfram Alpha等工具独立复核,两项核心代数计算均已通过验证。 雅可比猜想由德国数学家凯勒于1939年提出,因表述简洁却极难证明,长期困扰数学界并获称民科坟场。此次反例仅在三维复空间构造,若确证成立,将直接证伪该猜想在三维及以上维度的普遍性,二维情形仍保持开放。值得注意的是,该发现并非传统意义上由AI撰写长篇证明,而是模型在人类提出命题后,自主进入高维参数空间进行计算探索并定位到关键反例。这一过程标志着人工智能在数学领域的角色正从辅助验证转向前沿探索,为人机协同攻克经典难题提供了全新范式。

相关链接