"一個里程碑" 數學家陶哲軒確認,AI "或多或少自主地" 解決了厄爾多斯問題 #728。 這個問題未解決了 50 年。 "這是這些工具在最近幾個月能力真正增強的證明"