証明（100% GPT-5）は驚くほど巧妙で、ロビンス・モンロー（つまりSGD！）型の解析を用いて主要な量の収束を制御しています。また、証明を見る前に、GPT-5にシミュレーションを実行させ、式が信頼できるかどうかを経験的に確認しました…
以前は、このような証明を考え出し、シミュレーションを実行し、その全てをこなすのに約1ヶ月かかっていました。今では午後1日で完了します。 興味のある方は、https://t.co/IfotVApR3X の第 4 章、セクション 4 で完全な証明と詳細をご覧いただけます。 感謝祭おめでとうございます！