旧金山人工智能公司Anthropic的数学家Levent Alpöge报告称,他利用该公司的大型语言模型Claude Fable 5,在高维度下找到了一个长期存在的雅可比猜想的反例。该猜想提出已有87年,涉及雅可比行列式为非零常数的多项式函数,并询问这类函数是否必须是可逆的。Alpöge声称的反例,在世界杯决赛后不久在X上用一个简洁的公式分享,挑战了数十年来普遍的看法,目前正等待专家独立验证。
Prepared by Jonathan Pierce and reviewed by editorial team.
人工智能语言模型加速了全国范围内的复杂数学问题发现。
自动化科学发现范式将改变高等学术研究。
数学家、技术开发者、大学研究人员、软件工程师和学术机构。
优先考虑经过验证的计算机代数系统检查,而不是猜测性的评论。
左:证据不足。 中:关注 AI 工具的协作性质和可验证的数学。 右:证据不足。
Levent Alpöge 于 2026 年 7 月 19 日发布的社交媒体帖子。 https://x.com/alpoge/status/2079028340955197566
No left-leaning sources found for this story.
数学家利用AI找到雅可比猜想反例
SciTechDaily / Mathematical Research Reports SciTechDaily DataCamp Wikipedia New Scientist MIT Technology Review Nature Science Phys.o TechCrunch Ars Technica ZDNET The Verge WiredNo right-leaning sources found for this story.
Comments