OpenAIは、自社のAIモデルが指数時間仮説を否定したと発表した。
これはとてつもない発見だ。もし精査に耐えられれば、そうなるだろう。OpenAIは、内部モデルが指数時間仮説を否定したと発表した。指数時間仮説とは、ブール充足可能性問題の難しさに関する仮説で、数百ものコンピュータサイエンス論文がひっそりと依拠しているものだ。このモデルは約10日前に反証を発見し、OpenAIは翌日Leanでそれを検証した。現在、その解説とLeanによる証明はGitHubに公開されている。.
この展開は異例だ。そもそもETHを提案したラッセル・インパリアッツォ氏とラマモハン・パトゥリ氏、そしてMITのライアン・ウィリアムズ氏が、独立した検証を主導する。彼らはその点について率直に述べている。「我々の関与は、主張の正当性を証明するものではない」。秘密保持契約も報酬も一切なく、OpenAIはすべての生データを公開し、カンファレンスの資金提供に同意した。.
同日、さらに2つの発表があった。1つはあらゆる次元における局所平滑化予想の証明（これによりカケヤとスタインの制限予想も解決される）、もう1つは特定の4次元量子場理論（純粋なヤン・ミルズ理論を含む）の厳密な存在証明である。ノーベル賞受賞者のデイビッド・グロス率いるグループは、AI関連の資料を非公開とし、独自に論文を執筆している。.
OpenAIは学術的な単位認定には関心がないと述べており、ワークショップのためにサイモンズ財団に500万ドルを寄付している。とはいえ、誰が単位認定を受けるべきかという問題は、最も厄介な問題となるかもしれない。.
Anthropic社、AI業界にとって重要な試金石となる可能性のある株式市場評価額を申請
正式発表です。アントロピック社はティッカーシンボル「ANT」での上場申請を正式に行いました。アナリストや投資家は同社の時価総額を1兆5000億ドル以上と評価しています。同社は数ヶ月前に非公開で申請を行っていたため、今回初めて外部の人間が監査済みの数値を確認できるようになりました。.
これらの数字は驚くべきものです。収益は数年前の4100万ドルから昨年は45億8500万ドルに増加し、今年上半期だけで162億8600万ドルに達しました。しかし、同じ上半期には800億ドルの純損失も発生しました。Billion、bはbです。Anthropicには14,000社以上の企業顧客がおり、収益の4分の1は上位5社からのものです。.
リスクに関するセクションは90ページ以上に及ぶが、これは、同社の幹部自身が、自社の最先端モデルが化学兵器や生物兵器の開発を企む人々に「有意義な支援」を提供できると述べている企業としては、ある意味ふさわしいと言えるだろう。トランプ政権によるサプライチェーンリスク指定も、このセクションに登場する。.
ウォール街の銀行とブラックストーンが、人類のAI向けブロードコム製チップの資金調達に630億ドルを拠出
そのIPO申請当日、バンク・オブ・アメリカ、ブラックストーン、シティ、モルガン・スタンレーは、アントロピック社のためにブロードコムのAIチップとネットワーク機器を購入するため、630億ドルを調達した。これは、これまでのAI構築に関連した債務取引の中で最大規模の一つとなる。.
この仕組みは、新たに設立された特別目的会社がハードウェアを購入し、それをClaudeの製造元にリースするというものだ。Broadcomは貸し手に対し「残存価値保証」、つまり実質的には多額の保証を提供する。2つの情報源によると、そのうち約435億ドルは優先第一順位債務であり、Blackstoneはコミットメント型の第二順位債務を引き受ける。.
納入開始は来年まで見込まれていない。ムーディーズは依然としてブロードコムを最も有力な大手テクノロジー企業の一つと位置付けているが、こうした買収案件が短期間に集中すればリスクが高まると警告している。そして、実際にそうした買収案件は集中している。.
Meta社、AI事業拡大資金として950億ドルの株式公開を発表
Metaは、AI開発資金としてさらに950億ドルを必要としている。この計画は、まず350億ドルの公募増資（引受済み）から始まり、その後、市場価格連動型増資プログラムを通じてさらに600億ドルを調達する予定だ。.
一つ興味深い点として、チップを販売しているNvidia、AMD、Broadcomの3社が、最大50億ドル相当の株式購入に関心を示していたことが挙げられる。株価は午前中の取引で1.6%下落した。.
この資金は、AIエージェント「Muse」、アプリ、データセンター事業などのプロジェクトを支援するために使われる。Metaは先週、通期設備投資額の見通しを1350億ドルから1450億ドルに引き上げていたが、投資家はマイナスのフリーキャッシュフローに不満を抱いていた。あるアナリストは、「これはAI軍拡競争で優位に立つために必要な、途方もない投資額を反映している」と述べている。
元DOGE社員による新スタートアップ企業がAnthropicをハッキングしたと主張
DOGEの元従業員が設立したセキュリティスタートアップ企業であるCathedralは、同社のAIエージェントが12時間以内にAnthropicの内部システムへの侵入経路を発見したと述べている。侵入経路はサードパーティ製のビジネスソフトウェアの脆弱性を利用したもので、盗まれた情報には会議の議事録、給与明細、求人情報、Slackのメッセージなどが含まれているという。.
Anthropic社の説明は異なっている。同社は、販売、人事、ITシステムの「限定されたセット」へのアクセスは認めたものの、Claudeの会話、ソースコード、モデルの重み付けには一切手を加えていないと述べている。また、研究者らは数日間直接侵入を試みたものの失敗に終わったとし、Cathedral社が実施した内容の全容を明らかにしなかったことで、同社のテストプログラムの規則に違反したと非難している。.
カテドラルの評価額は14億ドルで、トランプ政権の高官が国家安全保障上の懸念を表明したと報じられている。これが警鐘なのか、それとも絶妙なタイミングでの売り込みなのかはまだ不明だが、その両方である可能性も十分にある。.
GPT-6.1 Terraのご紹介
OpenAIの新しいTerraモデルは、提案書の作成、技術図面の読み取り、フォームへの入力、さらにはビデオ編集といった、地味ながらも日常的なコンピューター作業の主力ツールとして位置づけられています。ChatGPT WorkとCodex、そしてAPIを通じて、Plus、Pro、Enterprise、Eduの各ユーザー向けに順次展開されています。.
最大の注目点はコストです。APIの価格は、GPT-5.6 TerraやGPT-6.1 Solよりも50%低く、入力トークン100万個あたり1ドル、出力トークン100万個あたり5ドルとなっています。OpenAIは、トークンあたりの価格が10分の1でありながら、同社の「Agents' Last Exam」ベンチマークにおいてGPT-6 Astraと同等の性能を発揮し、タスクの完了速度は3倍以上速いと述べています。.
OpenAIの内部テストによると、誤認識も大幅に減少した。低負荷時のエラー率は53.6%から16.7%に低下した。Terminal-Bench 4.0では、旧Terraの2倍以上となる50.3%のタスクを解決している。ただし、最も複雑なコーディング作業については、OpenAI自身はSolまたはAstraの使用を推奨している。.
「親愛なるChatGPTへ」：12歳の少年がオーストラリア詩朗読大会で最優秀賞（青少年部門）を獲得 - 動画
心温まる話をご紹介しましょう。ニューカッスル出身の12歳のブレイク・マッケンジー君が、オーストラリア・ポエトリー・スラムで最優秀青少年賞を受賞しました。受賞作品は、なんとChatGPT宛ての詩でした。.
彼は日曜の夜、シドニー・オペラハウスでこの作品を披露した。作品は、悲観的なニュースばかりを延々とスクロールする行為、孤独、そして知的衰退といった問題を取り上げていた。彼が警告しているアプリのほとんどは、おそらくまだ使うには若すぎる少年による、鋭い指摘だ。.
このコンテストは60の町や都市で65回の予選を行い、16人のファイナリストを選出した。ブレイクは、アリススプリングスの詩人ビヴォールと賞金2万ドルを分け合う。ビヴォールは「Politics Is Doing You」で大人部門の優勝を果たした。.
よくある質問
OpenAIのAIモデルは本当に指数時間仮説を否定したのだろうか？
OpenAIは、ブール充足可能性問題の難しさに関する仮説である指数時間仮説を、社内モデルが反証したと発表した。このモデルは約10日前に反証を発見し、OpenAIは翌日Leanを用いてそれを検証した。解説記事とLeanによる証明はともにGitHubで公開されている。ただし、この主張は独立した検証に耐えなければならない。.
OpenAIのETHに関する反証主張を独自に検証しているのは誰ですか？
ETHを提案したラッセル・インパリアッツォ氏とラマモハン・パトゥリ氏は、MITのライアン・ウィリアムズ氏と共に検証を主導する。彼らは、自分たちの関与は主張の正当性を証明するものではないと強調している。秘密保持契約（NDA）はなく、報酬も支払われない。OpenAIは、すべての生データを公開し、会議の資金提供を行うことに同意した。.
OpenAIは同日、他にどのような数学や物理学の成果を発表したのか？
OpenAIはまた、あらゆる次元における局所平滑化予想の証明も主張しており、これはカケヤ予想とスタインの制限予想も解決するものである。2つ目の主張は、純粋ヤン・ミルズ理論を含む特定の4次元量子場理論の厳密な存在証明である。ノーベル賞受賞者のデビッド・グロス率いるグループは、AIの資料を非公開にして、自分たちで執筆している。OpenAIは、学術的な功績には関心がなく、ワークショップのためにサイモンズ財団に500万ドルを寄付したと述べている。.
Anthropic社の新規株式公開（IPO）申請書類からは、同社の収益と損失について何が明らかになるのか？
Anthropicは、ティッカーシンボルANTでの上場を申請しており、アナリストや投資家は同社の時価総額を1兆5000億ドル以上と評価している。売上高は数年前の4100万ドルから昨年は45億8500万ドルに増加し、今年上半期には162億8600万ドルに達した。しかし、同上半期には800億ドルの純損失を計上している。同社は1万4000社以上の企業顧客を抱え、上位5社が売上高の4分の1を占めている。.
ブロードコムによるアントロピックへの630億ドル規模のチップ資金調達契約は、どのように機能するのでしょうか？
バンク・オブ・アメリカ、ブラックストーン、シティ、モルガン・スタンレーは、アントロピック社向けにブロードコムのAIチップとネットワーク機器を購入するため、630億ドルを調達した。新たに設立された特別目的会社がハードウェアを購入し、クロード製造元であるアントロピック社にリースする。ブロードコムは、貸し手に対し残存価値保証を提供する。2つの情報源によると、約435億ドルが優先第一順位債務であり、ブラックストーンが確約された第二順位債務を引き受ける。納入は来年まで開始されない見込みだ。.
Metaはなぜ株式公開を通じて950億ドルを調達しようとしているのか？
Metaは、AIエージェント「Muse」、アプリ、データセンター事業を含むAI構築資金として950億ドルを求めている。計画は、まず350億ドルの公募増資から始まり、その後、市場価格連動型増資プログラムを通じてさらに600億ドルを調達する予定だ。Nvidia、AMD、Broadcomは、最大50億ドル相当の株式購入に関心を示していた。Metaはすでに通期の設備投資予測を1350億ドルから1450億ドルに引き上げており、株価は午前中の取引で1.6%下落した。.
Cathedralは本当にAnthropicの内部システムをハッキングしたのか？
DOGEの元従業員が設立したセキュリティスタートアップ企業Cathedralは、同社のAIエージェントがサードパーティ製ビジネスソフトウェアの脆弱性を悪用し、12時間以内にAnthropicの内部システムへの侵入経路を発見したと述べている。Anthropicは、営業、人事、ITシステムの一部へのアクセスは確認したが、Claudeの会話データ、ソースコード、モデルの重み付けデータには一切手を加えていないと主張している。また、AnthropicはCathedralが自社のテストプログラムのルールに違反し、実施した内容の全容を明らかにしなかったと非難している。.
GPT-6.1 Terraの価格はいくらですか？また、誰が利用できますか？
GPT-6.1 Terraは、ChatGPT WorkとCodexのPlus、Pro、Enterprise、Eduユーザー、およびAPIを通じて提供開始されます。APIの価格は、入力トークン100万個あたり1ドル、出力トークン100万個あたり5ドルで、GPT-5.6 TerraとGPT-6.1 Solよりも50%低くなっています。OpenAIは、Agents' Last Examにおいて、トークンあたりの価格が10分の1でGPT-6 Astraと同等の性能を発揮すると述べています。最も難易度の高いコーディング作業には、SolまたはAstraを使用することをOpenAIは推奨しています。.