Mathematicians grapple with a ‘very rapid and very unsettling change’ as AI cracks yet another century-old problem

AI 摘要

一句话摘要: AI模型破解了困扰数学家87年的雅可比猜想，引发学界对AI数学研究的兴奋与不安。 关键事实: AI模型解决了1939年提出的雅可比猜想，结果已获验证；这是继国际数学奥林匹克和Erdős猜想后AI在数学领域的又一突破；16位研究者发布莱顿宣言，呼吁为AI数学研究设立透明度和同行评审规范。 涉及主体: Kevin Buzzard, Levant Alpöge, Imperial College London, Anthropic, OpenAI, Christian Szegedy, Akhil Mathew, University of Chicago 可能影响: AI在纯数学领域的突破将加速，但"知其然不知其所以然"的问题可能改变数学知识的生产和验证方式，推动学界重新定义数学研究的价值与伦理边界。 是否值得继续跟踪: 是，AI连续破解经典难题表明其数学能力正快速提升，对Crypto领域中的密码学、零知识证明等底层数学基础可能产生深远影响。 噪音/炒作风险: 中，该事件有真实学术突破支撑，但媒体关注度和社交平台传播可能放大短期情绪，需理性评估AI在数学领域的实际局限。