在 AI 數學領域的一個酷里程碑 亞里士多德（AI 數學家）剛剛解決了埃爾德什的問題 #124，這個問題已經懸而未決近 30 年 研究數學家 boris alexeev 在亞里士多德的新測試版上運行了它，這個版本具有更強的推理能力和自然語言介面，並產生了完整的正式證明。 對於 AI 定理證明來說，這是一個相當瘋狂的時刻。