OpenAI 対 DeepMind IMO の物語ではどんでん返しが起こるかもしれません。 ジョセフ・マイヤーズ(1992年から数学オリンピックに携わっている)の投稿を見たところによると、IMO委員会はAIラボに対し、閉会式の7日後まで結果を公表しないよう要請したと伝えられている。 ジョセフ氏によると、OpenAIはIMOと協力してモデルをテストしておらず、91人の公式IMOコーディネーターの誰もソリューションのグレーディングに関与していなかったという。一方、DeepMind はルールに従い、辛抱強く順番を待っているようです。 コンテキスト: IMOには6つの問題があり、それぞれ7ポイントの価値があります。今年の金のカットオフは35ポイントです。たとえわずかな控除でも、OpenAIは銀に転落する可能性があります。そして、彼らの記事を読んだところによると、いくつかの部分は疑問を引き起こし、場合によってはポイントを犠牲にする可能性があります。 テレンス・タオ氏はまた、問題は変わりませんが、テスト形式が重要であると指摘しました。標準的な条件下では銅メダルを獲得できなかった学生が、変更されたセットアップで金メダルを獲得する可能性があり、これはAIにとって「IMOを解決する」ことが何を意味するのかについての本当の疑問を引き起こします。 来週は辛くなるかもしれません。乞うご期待。

@swierk 彼らは、3人の元IMOメダリストがIMOの公式コーディネーターではないことを発見しました:「各問題について、3人の元IMOメダリストがモデルが提出した証明を独立して採点し、全会一致のコンセンサス後にスコアが最終決定されました。」

IMO委員会の質問に関する私の以前の投稿

超人的な推論チーム@GoogleDeepMindリーダー@lmthang、OpenAIが金メダルと銀メダルのどちらを獲得するかについても疑問を提起した

AlphaGeometry を構築した超人的な推論チームのリーダー@GoogleDeepMind@lmthangも、OpenAI が金メダルを獲得するか銀メダルを獲得するかについて疑問を提起しました

@swierkはい、数学や AI の人々から寄せられる質問がますます増えています