正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
共 1 則推文 · 2025年11月1日 上午11:51
RT @wtgowers:我沒有嘗試自己證明,而是直接問了 GPT-5,大約 20 秒後就得到了證明。這個證明依賴一個引理…