テレンス・タオさんも応援してます！ AI 数学オリンピック プログレス賞が発表、賞金は 100 万米ドル以上

大規模なモデルはどうやって数学の問題を解決できるのでしょうか? このレベルの競争に参加させたほうがよいでしょう。 「AI数学オリンピック（AIMO Progress Award）の暫定結果が発表されました。リーダーボードのデータによると、現時点で優勝プログラムはプライベートテストで29/50問正解しているようで、これは予想を上回る結果となっています」 「たった今、タオ・ゼシュアン氏が個人ブログでこのニュースを発表しました。

AIMO は、機械学習クオンツ取引を専門とするノンバンク金融機関である XTX Markets から生まれました。この進歩賞の目標は、主に参加者が AI モデルを使用して国際的な数学的問題を解決できるようにすることです。 LaTeX 形式で記述された複雑な数学的問題を解決できます。これは、人工知能モデルの数学的推論能力を促進し、最先端の知識の開発を促進するのに役立ちます。
Progress Award が授与されるのは今回が初めてであり、優勝チームは賞金 104 万 8,000 米ドルを目指して競うことになることは注目に値します。参加問題には中学数学大会の問題も含まれていますが、難易度は国際数学オリンピック（IMO）のレベルには及びません。この賞の資格を得るには、チームがコード、メソッド、データ、モデルのパラメーターを公開する必要があります。
ランキングによると、Numina のチームが 1 位を獲得、CMU_MATH が 2 位、試験後に一時的に 3 位にランクされ、codeinter チームと Conor #2 チームがそれぞれ 4 位と 5 位の結果を獲得したことがわかります。ルールによれば、参加チームは最大5人で、上位5チームのうち2チームがシングルプレイヤーとなる。

Mixtral・8x7b、Gemma、Llama 3など、皆さんが使用しているモデルも異なります。

1. IMO 国際数学オリンピックには、常に数学を専門とする愛好家が直接参加してきましたが、大規模モデルの能力が向上し続けるにつれて、数学におけるパフォーマンスがますます注目されるようになりました。

2. 皆のテストの焦点は、同様の大学入試問題から徐々にオリンピックの分野に移りました。以前、Google DeepMind の AlphaGeometry は、国際数学オリンピックに近い 30 の問題のうち 25 を解決しました。 . 競技会の金メダリストの平均的なパフォーマンス。
3. 大型モデルの爆発的な増加に伴い、複数の企業がオリンピック問題に挑戦し始めています。各社が競い合った場合、どのような結果が生じるでしょうか。
4. 昨年 11 月、AI に特化して設定された数学コンテストでは賞金 1,000 万ドルが提供されました。その目的は、オープンな人工知能モデルの開発を促進し、国際数学オリンピック (IMO) で上位の人間と同等のパフォーマンスを発揮できるようにすることです。並外れた。 Progress Award は AIMO Awards の一部として授与されます。

   

   AIMOの諮問委員会のメンバーは、フィールズ賞受賞者のティモシー・ガワーズ氏やテレンス・タオ氏を含む数学界の著名人ばかりで、ポーシェン・ロー氏、ダン・ロバーツ氏、ジェフ・スミス氏らとともに委員を務めています。

   

   参考リンク：https://aimoprize.com/participate

以上がテレンス・タオさんも応援してます！ AI 数学オリンピック プログレス賞が発表、賞金は 100 万米ドル以上の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。