昨晚，数学界炸了！AI数学家「亚里士多德」竟在6个小时内，一键破解了30年难题的简版，引陶哲轩盛赞。数学领域Vibe proving时代来了。 30年未解数学难题，终于告破！ 由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。 它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。 全程没有一丝人类的参与辅助，这一刻，堪称数学界的「登月」时刻。 HarmonicMath创始人Vlad Tenev感慨道，「数学圈正迎来巨变，vibe证明的时代，来了」！ 就连菲尔兹奖得主陶哲轩，高度赞扬了AI数学家「亚里士多德」。 AI发现数学的时代，正式开始了。 30年难题告破，AI做到了 一直以来，数学家Erdős Pál的「问题列表」，就像一座知识的珠穆朗玛峰，考验着人类的极限。 那些悬而未决的难题，悬赏金大多从几十美元到上万美元不等。 其象征意义远大于实际价值，成为了无数数学家的精神勋章。 30年来，第124号问题（Erdős #124）在论文「Complete sequences of sets of integer powers」中提出后，至今无 ...