据Bardai网站2025年12月1日消息，美国HarmonicMath公司研发的AI数学家“亚里士多德”（Aristotle），在6小时内成功破解了困扰数学界30年的E124号难题——该难题最早由著名数学家埃尔德什提出，此后一直未被攻克。

研究人员Boris Alexeev将该问题输入“亚里士多德”后，系统通过搜索上亿种证明策略，仅用6小时便自主找到解题突破口，并用证明助手Lean在1分钟内完成了形式化证明。值得注意的是，E124问题原有两个不同版本，“亚里士多德”目前解决的是其中较简单的一个。

著名数学家陶哲轩对此评论道，当前存在大量数学问题本身相对容易证明或证伪，但由于能够投入研究的人类专家数量有限，这些问题长期未获关注。如果借助自动化工具进行大规模处理，可以先清理那些最容易的问题，把真正困难的部分留给人类数学家，使其能够将精力集中于更值得深入的方向，从而可能推动产生大量新的数学成果。

信息来源：

https://bardai.ai/2025/12/01/ai-cracks-30-year-math-problem/

https://m.thepaper.cn/newsDetail_forward_32076555

https://mp.weixin.qq.com/s/iN98e9MliqEQt-TJtbECog