イーロンマスク・テスラ・xAI 「Grok 4.20が数学の壁を破った」数学的推論における自動定理発見の新時代
xAIが開発したGrok 4.20が数学研究において画期的な成果を達成した。UCI数学教授が取り組んでいた確率論的問題に対し、わずか5分で新しいベルマン関数を発見し、従来の研究が段階的に到達していた限界値を大幅に上回る「鋭い下限」を提示した...
自動定理証明
イーロンマスク・テスラ・xAI 
数学 数学者たちがAIに置き換えられることを否定している
数学研究の分野が人工知能によって大きな影響を受けている現状を報じる動画である。GoogleのDeepMindやOpenAIが数学オリンピアドレベルの問題を汎用推論モデルで解き、金メダル級の成績を収めたことが注目を集めた。一方で、数学者たちは...
数学 Seed-Prover vs Deep Think（国際数学オリンピック）
この動画は2025年の国際数学オリンピックにおけるAIの参加について解説したものである。GoogleのDeepMindが公式に金メダルを獲得した一方で、OpenAIとByteDanceは自己申告での成績を発表した。特にByteDanceの新...