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

DeepMind は金曜日の午後、IMO で金メダルを獲得しました。しかし、彼らはマーケティング部門がツイートを承認するまで、月曜日まで待たなければならなかった。 @OpenAI土曜日の午前1時に最初に彼らのものを共有し、スポットライトを浴びました。 このゲームでは、スピード>官僚主義。その瞬間を逃し、物語を失います。

わずか20分前、2025年のIMOの結果が発表されました。 中国が1位、@GoogleDeepMindが金メダル🥇を獲得 今後の数学大会は中国チーム対アメリカ中国チーム対AIになります

AI モデルが成長するにつれて、FLOPS/$ (ドルあたりのコンピューティング能力) の最適化が重要になります。 Hyperbolic が GPU コストをどのように最適化できるかについては、以下をご覧ください。 🧵

Hyperbolic のこの看板のアイデアについてどう思いますか?

予約済みGPUの即時見積もりをリリースしました:専用コンピューティングを長時間必要とするAIチームに最適です。 私たちのアプリで、正確なインフラストラクチャのニーズに合わせた価格を即座に入手できます。

仕事を終えて、学部のトポロジー問題でGrok-4を試しました。考えるのに9分かかり、その後、自信を持って、きれいでもっともらしい、しかし完全に間違った答え😅を出しました これが「巧みに敵対的」であるとは思わないでください。AIモデルはベンチマークを圧倒していますが、実際の数学AGIにはまだ長い道のりがあります。

GrokはAIME 🤯で満点を獲得しました 私たちは間違いなくAIのためのより良い数学ベンチマークが必要です

すべてがうまくいけば、最高のオープンソース推論モデルは来週の木曜日に削除されます。 OpenAIは2019年のGPT-2以来、LLMをオープンソース化していないので、ワクワクしています。 Hyperbolicでホストしています。シートベルトを締めます。

AIの未来は協調性