X (Twitter)

正在載入線程內容

正在從 X 取得原始推文,整理成清爽的閱讀畫面。

通常只需幾秒鐘,請稍候。

Taelin (@VictorTaelin): To my surprise, Opus 4.5 one-shot my hardest λ-calculus problem (tyin… | Thread Easy