AI 破解数学难题引发学界喜忧参半
原标题：AI keeps cracking unsolved math problems, and mathematicians have mixed feelings
AI 摘要
AI 模型正在破解困扰人类数十年的数学猜想，引发数学界复杂反应。OpenAI 于 2026 年 5 月推翻了单位距离猜想，随后人类研究者改编其证明技术推翻另一猜想。部分数学家视 AI 为工具，如 Abhishek Saha 认为 AI 堪比博士生，而 Timothy Gowers 担忧数学文化可能被摧毁。尽管进展显著，但最难的千年难题仍未被 AI 解决。
正文节选
AI keeps cracking unsolved math problems, and mathematicians have mixed feelings AI models are cracking conjectures that stumped humans for decades. Reactions in the math community range from shrugs to an existential crisis as the profession grapples with its own possible obsolescence. In May 2026, OpenAI published a counterexample to the "Unit Distance Conjecture," disproving a conjecture in geometric graph theory that had remained open since 1946. It was one of hundreds of open problems linked