AIはなぜ突然数学が得意になったのか:プロンプト列と分岐因子からモデルの解法を読み解く
著者のAnkit Maloo氏は、OpenAIとAnthropicが今年相次いで数学的問題の証明や反例を示した理由を分析し、鍵はモデルが深さ優先で各実行可能な経路を最後まで辿り、自動検証器で枝刈りできる点にあると述べている。
著者のAnkit Maloo氏は、OpenAIとAnthropicが今年相次いで数学的問題の証明や反例を示した理由を分析し、鍵はモデルが深さ優先で各実行可能な経路を最後まで辿り、自動検証器で枝刈りできる点にあると述べている。
Latent Space
AWS の副社長 Shawn Bice 氏が Trust in Depth フレームワークを提唱し、エージェントの行動が検証可能な場合は自律的に行動させ、人間の判断は本当に意思決定が必要な場面に残すべきだと主張した。
AWS Machine Learning Blog
GoogleはGemini 4 Argonを、MetaはMuse Wonder Fullを発表し、両社はこれらのモデルが複数のベンチマークでOpenAIやAnthropicの旗艦モデルと競合できると主張している。GoogleはArgonに積極的な価格を設定し、プロモーション期間中は1トークンあたり最大80%安い。記事は、両社が巨大なユーザー基盤を背景にフロンティア競争へ復帰し、AI競争が新たな段階に入ったと論じている。
The Verge · AI
TypeSafe AI 創業者兼 CEO の Diogo Almeida は Latent Space ポッドキャストで新モデル Jev を紹介し、ソフトウェアでの利用向けの System One 大規模モデルと説明した。
Latent Space
Hugging Face は2026年1~8月の観測レポートを公開した。Hub データでは、多くの月で中国の研究所が公開した最大モデルのパラメーター数が米国を上回る。中国の月間上限は7,540億~2兆7,800億パラメーター、米国は7か月中5か月が1,300億未満だった。
Hugging Face Blog