为何埃尔德什的传奇难题被人工智能攻克

OpenAI宣布，其内部AI模型找到了保罗·埃尔德什单位距离问题的一个反例，这是1946年的一个猜想。该结果后来被人类数学家改进，但新颖之处在于它使用了数学中一个遥远领域的想法。8月1日，OpenAI宣布另一个模型Astra取得了10项额外的数学突破，解决了另外三个埃尔德什问题。Noga Alon指出，这些模型正在彻底改变数学研究。Thomas Bloom于2023年初创建了网站erdosproblems.com来汇编埃尔德什问题，并在2025年8月添加了评论区，促进了社区的形成。业余数学家Wouter van Doorn在社区的帮助下解决了问题1102，并收到了Terence Tao的反馈。后来，Kevin Barreto和Liam Price使用GPT-5.2和GPT-5.2 Pro尝试解决问题；他们解决了问题333，但结果发现埃尔德什在1977年已经解决了该问题，随后他们解决了问题728，此前未发现任何解决方案。