HyperAIHyperAI

Command Palette

Search for a command to run...

数学家借助AI证伪雅可比猜想,数学界重新审视AI

近日,Anthropic公司数学家Levent Alpöge在社交平台X上宣布,利用该公司大语言模型Claude成功构造出代数几何领域著名雅可比猜想的反例。该猜想自一九三九年正式提出以来,历经百年仍未获证明,其核心命题指出:若多项式映射的雅可比行列式恒为非零常数,则该映射必存在多项式逆函数。Alpöge借助AI模型在庞大搜索空间中进行高效遍历,最终给出一个极其简洁的三维反例,直接证伪了该猜想在三维及以上空间的普适性,二维情形至今悬而未决。 该成果迅速获得全球数学界验证,并再次印证人工智能在基础科学探索中的范式变革。与以往AI侧重辅助形式化证明不同,此次突破凸显了大模型在发现新颖数学对象与导航高维组合空间方面的独特优势。随着Anthropic、OpenAI等机构持续深化AI数学研究,人机协同正从辅助工具转向前沿发现引擎,未来或将系统性重塑纯数学的探索路径与理论边界。

相关链接