來自 Sebastien Bubeck（@SebastienBubeck）的推文串

看來埃爾德什問題既是無窮樂趣的源泉，也是無窮戲劇性的根源🤣。結果發現，Harmonic 昨天解決的問題是 #124 的「簡單」版本，而困難版本仍然懸而未決！ （順便一提，有趣的是，由人類形式化的精簡版甚至比「簡單」版本還要弱，但這又是另一個故事了）。就埃爾德什-人工智慧問題而言，我們在 GPT-5 論文中描述的 #848 仍然是最簡潔的，它是由人工智慧和人類合作解決的。至於完全由人工智慧解決的超過 10 年的未解決問題，我認為第四章第三節就是一個很好的例子，它從 2012 年才開放，但大約有 O(10) 位人類研究過它，每個人都研究了好幾週。而且必須始終記住：這只有在對真正的人類數學家有用時才有意義。除此之外，別無其他意義。