昨日、私は興味深い閾値を超えましたが、他の多くの数学者も最近それを越えていると思います。結果を証明しようとしている最中に、私は真実に見え、もし真実であれば私にとって役立つだろうという発言を特定しました。1/3

それを証明しようとする代わりに、GPT5 にそれについて尋ねたところ、約 20 秒で証明を受け取りました。証明は私が聞いたことのない補題に依存していたので(その声明は私の主要な領域から少し外れていました)、最終的にはそこに到達したと確信していますが、2/3

私にかかった時間は、おそらく桁違いに1時間だったでしょう(かなり広い誤差バーを伴う推定値)。つまり、私たちの研究はAIによって大幅にスピードアップするが、AIはまだ私たちを必要としているという、短いながらも楽しい時代に突入したように見えます。3/3

PS 聞いたことのない補題を使っているのではないかと心配している人がいたら、補題が幻覚ではないことを確認しました。