AI数学家「亚里士多德」6小时破解30年难题

数学界迎来革命性突破！AI数学家「亚里士多德」在短短6小时内，成功破解了一项困扰数学家长达30年的难题，引发了数学界广泛赞誉。

一项长达30年未解的复杂数学难题，如今终于被AI数学家「亚里士多德」攻克。

由HarmonicMath开发的AI数学家「亚里士多德」，独立完成了埃尔德什问题#124，无需任何人类辅助。

在Lean证明系统中，它仅用了6个小时，而验证过程只需1分钟。

这一成就，堪称数学界的一次「登月」时刻。

HarmonicMath创始人Vlad Tenev激动地表示，「数学圈正迎来巨变，vibe证明的时代，来了」！

就连菲尔兹奖得主陶哲轩也对AI数学家「亚里士多德」赞不绝口。

AI发现数学的时代，正式开启。

30年难题告破，AI创造历史

数学家Erdős Pál的「问题列表」，如同一座知识高峰，挑战着人类的极限。

这些未解难题的悬赏金从几十美元到上万美元不等，其象征意义远超实际价值，成为无数数学家的精神追求。

第124号问题（Erdős #124）自提出以来，长达30年无人能解。

E124的核心是：给定k个自然数d_i ≥ 2，如果∑ 1/(d_i - 1) ≥ 1，那么对于自然数n，总存在a_i，使得n = ∑ a_i。

且每个a_i在d_i下的「数字」仅限于{0, 1}。

简单来说，它问的是——在极端约束下，是否总能用「二进制」表示任意大数，而不受基数限制？

这个问题涉及「组合数学」的复杂领域，传统方法因gcd条件和边界案例而陷入困境。

直到昨晚，「亚里士多德」横空出世，打破了僵局。

Harmonic团队打造的「数学超级智能」原型——亚里士多德（Aristotle），结合了强化学习、蒙特卡洛树搜索和Lean形式化语言。