楽しい: 3/4 か月前、私は AIME スタイルの問題のセットについて、いくつかの学者のために o3 を実行しました。結果の要約を書くのに時間がかかりすぎたので(96%irrc)、その間にアレックスは証明とIMOを解決しました笑
@littmath とはいえ、その草案を発表するまでに証拠が解決されるかどうかは不明です
86.71K