6小时告破30年数学难题，亚里士多德一夜成名

Harmonic的数学AI模型Aristotle在6小时内独立证明了Erdős问题#124的简易版本，这一难题困扰数学家近30年。该成果展示了AI在解决复杂数学问题上的潜力，预示着Vibe证明时代的到来。尽管当前仅解决了简化版问题，但其表现优于ChatGPT和Gemini等知名模型，体现了深度学习技术在推理能力上的显著进步。随着AI技术不断发展，更多悬而未决的数学难题有望得到解答。