自動定理証明

数学

数学者たちがAIに置き換えられることを否定している

数学研究の分野が人工知能によって大きな影響を受けている現状を報じる動画である。GoogleのDeepMindやOpenAIが数学オリンピアドレベルの問題を汎用推論モデルで解き、金メダル級の成績を収めたことが注目を集めた。一方で、数学者たちは...
数学

Seed-Prover vs Deep Think(国際数学オリンピック)

この動画は2025年の国際数学オリンピックにおけるAIの参加について解説したものである。GoogleのDeepMindが公式に金メダルを獲得した一方で、OpenAIとByteDanceは自己申告での成績を発表した。特にByteDanceの新...