楽しい: 3/4 か月前、私は AIME スタイルの問題のセットについて、いくつかの学者のために o3 を実行しました。結果の要約を書くのに時間がかかりすぎたので(98%)、その間にアレックスは証明+IMOを解きました笑
76