传奇Erdős难题为何向AI低头

Why the Legendary Erdős Problems Are Falling to AI

2026年5月，OpenAI内部模型首次找到Erdős“单位距离”问题的反例，随后Astra模型又解决了更多Erdős难题。这些由20世纪匈牙利数学家Paul Erdős提出的经典问题，如今成为AI验证数学能力的试验场。数学家Thomas Bloom创建的erdosproblems.com网站汇聚了近百道待解难题，吸引了从专业学者到业余爱好者的广泛参与。Kevin Barreto和Liam Price等年轻研究者利用GPT-5.2和Aristotle等工具，通过巧妙提示和逻辑验证，成功解决多个长期悬而未决的问题。AI不仅加速了数学发现，更改变了研究协作的方式，让数学探索变得更加开放和民主。