AIが数学の仮説に反証を発表、NvidiaとAMDがMetaに出資ほか

OpenAIとAnthropicがそれぞれ、計算複雑性理論の長年の仮説である指数時間仮説に対する反証を発表しました。OpenAIは数学・計算機科学・物理の3分野での成果を公表し、そのうち仮説の反証については証明をLeanで検証したとしています。Anthropicも同じ結論に至る独自の証明を公開し、外部の査読には数か月かかるとみられています。

NvidiaとAMDが、Metaの950億ドルの資金調達にあわせて計40億ドルの出資を決めました。Nvidiaが30億ドル、AMDが10億ドルを投じ、MetaはスーパーインテリジェンスやAIエージェント、計算能力の増強に資金を充てる計画です。チップメーカーが顧客の増資に参加する形は、AIインフラ投資の資金調達が借入や株式へ広がっていることを示しています。

AMDは、ラック規模のAIシステム「Helios」がMetaで稼働していることを確認しました。AMD株は10月27日に5.45%上昇し、Metaとの契約は最大6ギガワット分のGPUにのぼるとされています。AMDは11月3日に第3四半期決算を発表する予定で、市場予想は1株利益1.94ドル、売上高130億8000万ドルです。

Anthropicは、米連邦政府向けに1機関あたり1ドルとしていたClaudeの価格を10月31日で終了し、代わりに40%割引の価格に移行します。新しい割引は連邦だけでなく、州・地方・部族・準州の各政府も対象になります。OpenAIやGoogleも政府向けの価格競争を続けており、調達の短期化が進むなかで、政府市場でのAI導入競争が一段と激しくなっています。