
2026 年 1 月 1 日から 2026 年 12 月 31 日午後 11 時 59 分 (東部標準時間) までに、いずれかの AI が the International 数学オリンピックで金メダルを獲得した場合、このマーケットは「はい」に解決されます。そうでない場合、この市場は「No」に決定されます。
解決ソースは、IMO グランド チャレンジ (https://imo-grand-challenge.github.io/) および人工知能数学オリンピック (AIMO、https://aimoprize.com/) です。いずれかの情報源が解決日より前に AI がチャレンジ/賞を獲得したことを証明した場合、この市場は「はい」と解決されます。
「2026 年に AI が IMO 金メダルを獲得?」は Melbo の予測マーケットです。シェアの価格は結果の確率を反映します。正しい結果では各シェアが $1、誤った結果では $0 で清算されます。