我們正處於數學領域深刻變革的邊緣。Vibe 證明來了。 來自 @HarmonicMath 的 Aristotle 剛剛在 @leanprover 中獨立證明了 Erdos 問題 #124。這個問題自從在期刊 Acta Arithmetica 的論文“完整的整數次方集合序列”中被猜想以來，已經開放了近 30 年。 Boris Alexeev 使用更新至更強推理能力和自然語言介面的 Aristotle 測試了這個問題的 beta 版本。 數學超智能正逐漸逼近，我相信它將改變並顯著加速數學及所有相關領域的進展。

查看完整討論在這裡：