我昨天跨越了一個有趣的門檻，我認為許多其他數學家最近也在跨越這個門檻。在試圖證明一個結果的過程中，我識別出一個看起來是真的陳述，如果是真的，對我會很有用。 1/3

我沒有試圖證明它，而是問了GPT5，並在大約20秒內收到了證明。這個證明依賴於我從未聽過的一個引理（這個陳述有點超出了我的主要領域），所以雖然我有信心最終會得到答案，但還是有2/3的可能性。

我所需的時間可能大約是個小時（這是一個帶有相當大誤差範圍的估算）。所以看起來我們已經進入了一個短暫但愉快的時代，在這個時代，我們的研究因為AI而大大加速，但AI仍然需要我們。 3/3

PS 如果有人擔心它使用了我沒聽過的詞根，我檢查過該詞根並不是幻覺。