エルドス問題はモデルが閾値を超える明確な例です。AIが一つ、ましてや多くの問題を単独で解決できるという考えは、1年前(o1は新しかった時期)なら狂気の沙汰でしたが、ここ数週間でGPT-5.2 Proによって複数のエルドス問題が解決されました。

はっきりさせておくと、GPT-5.2 Proはこれらを自律的に解決しているわけではなく、人によって促され、しばしばLeanを使って反復処理を行っています。