2025年12月1日，数学界迎来重大突破：AI模型Harmonic旗下的Aristotle（亚里士多德）仅用6小时成功证明了悬置近30年的Erdős问题#124简易版。该问题探讨特定条件下大整数的生成规则，原版难度极高，而此次证明的是条件放宽后的版本，且已通过Lean形式化验证。微软前AI副总裁Sebastien Bubeck及数学家陶哲轩均对这一成果表示关注。Harmonic公司由Tudor Achim和Vlad Tenev于2023年创立，目标是打造世界领先的数学推理引擎。其最新融资达1.2亿美元，估值14.5亿美元。Aristotle还计划参加2025年国际数学奥林匹克竞赛，并展现金牌级表现。这一进展标志着AI在复杂数学领域潜力巨大，或推动更多难题被攻克。