ハーモニックAI、30年来の数学難問4つを自律解決

by

Harmonic AI、30年前の数学の問題を4つ解決：AI数学時代の幕開け

  • HarmonicのAristotle AIがエルデシュ(Erdős)問題を4つ自律的に解決
  • 問題#728はAIが完全自律で解決した初のエルデシュ問題
  • フィールズ賞受賞者テレンス・タオが直接証明を検証

何が起こったのか？

数学AIスタートアップHarmonicが開発したAristotle AIが、2026年1月の1ヶ月間で未解決のエルデシュ問題を4つ連続で解決した。[arXiv] エルデシュ問題は、伝説的なハンガリーの数学者ポール・エルデシュが残した1,133個の難問コレクションである。そのうち680個がまだ未解決の状態だった。

最も注目すべき成果は問題#728である。1月4日、ケビン・バレットがAristotleを利用して証明を発表し、1月6日にはLean 4プログラミング言語で形式検証まで完了した。[Hacker News] これはAIが人間の助けなしに完全自律でエルデシュ問題を解決した初の事例である。

続いて問題#729、#397、#124が次々と解決された。問題#124は1990年代から30年間未解決だったが、Aristotleがわずか6時間で解いてしまった。[36Kr]

なぜ重要なのか？

AIが数学の問題を解くのは新しいことではない。DeepMindのAlphaEvolveも50個以上の数学パズルで人間よりも良い結果を出した。しかし、Aristotleの差別化要因は形式検証にある。

既存のLLMはもっともらしい答えを出すが、ハルシネーションを避けることができない。AristotleはLean 4証明補助器を通じて数学的に完璧な証明を生成する。フィールズ賞受賞者テレンス・タオが問題#397の証明を1日で検討し承認したのも、この検証可能性のおかげである。

Harmonicは2025年11月、シリーズCで14.5億ドルの評価額で1.2億ドルを投資された。2026年1月にはNvidiaのNVenturesまで投資家として合流した。[SiliconANGLE]

今後どうなるのか？

Harmonicの共同創業者ブラッド・テネブ（Robinhood CEO）とチューダー・アキムは数学的超知能を目標とする。数学検証技術はコーディング、チップ設計、安全-中核ソフトウェア検証に拡張される見込みである。

ただし、テレンス・タオは現在解決された問題は最も簡単な果実だと警告した。標準的な手法で解ける問題であり、真の数学的ブレークスルーとは程遠い。AIは問題のフレーミングと専門家検証で依然として人間に依存する。

よくある質問 (FAQ)

Q: Aristotle AIはどのように数学の問題を解くのか？

A: Aristotleは強化学習、モンテカルロ木探索、Lean 4形式言語を組み合わせる。自然言語で書かれた数学の問題を形式的に検証可能な証明に変換する。GPT-5.2が初期証明を生成すると、AristotleがLeanで形式検証するという形で協業することもある。

Q: Harmonic AIはどんな会社か？

A: 2023年に設立されたパロアルトを拠点とするスタートアップである。Robinhood CEOブラッド・テネブが共同創業者兼取締役会議長であり、チューダー・アキムがCEOである。シリーズCで14.5億ドルの企業価値を認められ、Nvidia、Sequoia、Index Venturesが投資した。

Q: エルデシュ問題とは何か？

A: ハンガリーの数学者ポール・エルデシュが生涯にわたって提示した数学難問コレクションである。現在1,133個がカタログ化されており、279個が解決され、680個が未解決の状態である。整数論、組み合わせ論、グラフ理論など、様々な分野を網羅する。

この記事が役に立ったなら、AI Digesterを購読してください。

参考文献

OpenClaw ClawHubで341件の悪性スキル発見：AIエージェントセキュリティの素顔

by

OpenClaw ClawHubで341個の悪意あるスキルが発見される

  • Koi Security、ClawHubの2,857個のスキル中341個から悪意のあるコードを発見
  • Atomic Stealerで暗号通貨ウォレット、APIキーを奪取
  • 専門家「セキュリティのごみ捨て場」と評価、RCEを含む脆弱性3件を追加公開

何が起こったのか？

AIエージェントOpenClawのマーケットプレイスClawHubで341個の悪意あるスキルが発見された。[The Hacker News] Koi Securityが2,857個のスキルを監査した結果、12%がマルウェアを含んでいた。

攻撃者らは暗号通貨ボット、ウォレットトラッカーを装ったスキルを配布した。インストールするとAtomic Stealerまたはトロイの木馬が実行される。[VirusTotal]

なぜ重要なのか？

OpenClawはローカルで実行されるAIエージェントだ。システム全体のアクセス権限を持つ。ClawHubの登録条件は1週間前のGitHubアカウントだけだ。[The Register]

ArizeのLaurie Vossは「セキュリティのごみ捨て場」と評した。最近3日間でRCE 1件、コマンドインジェクション2件が追加公開された。

今後どうなるのか？

OpenClawは申告機能を導入した。3件以上申告されたスキルは自動的に非表示になる。VirusTotalはCode InsightでAIスキルの分析を開始した。

よくある質問 (FAQ)

Q: OpenClawとは何か、なぜ危険なのか？

A: OpenClawはローカル実行AIエージェントだ。旧Clawdbotとして知られている。システム全体の権限を持つ。悪意のあるスキルがファイル、資格情報、ブラウザデータにアクセスできる。

Q: どんなデータが奪取されるのか？

A: 暗号通貨APIキー、ウォレット秘密鍵、SSH資格情報、ブラウザパスワードがターゲットだ。キーロギングデータと環境変数も収集される。

Q: すでにスキルをインストールしていたら？

A: 疑わしいスキルを削除する。暗号通貨ウォレットとAPIキーを直ちに交換する。ブラウザパスワードも変更する。

この記事が役に立ったら、AI Digesterを購読してください。

参考資料

a16z 150億ドルのAIインフラ投資：どこに賭け、何を見過ごすのか

by

a16z $150億 AIインフラ投資：どこに賭け、何を無視するのか

  • インフラチームに$17億を配分、過去最大規模
  • エージェントネイティブインフラとマルチモーダルデータ管理に集中
  • 既存システムはエージェントトラフィックをDDoS攻撃と誤認

何が起きたのか？

a16zが過去最大規模の$150億ファンドを組成した。このうちインフラチームに$17億が配分された。[a16z] Jennifer Liジェネラルパートナーが率いるインフラチームは、OpenAI、ElevenLabs、Cursor、Black Forest Labsなどに投資している。[TechCrunch]

注目すべきは投資の方向性だ。Liは企業内の非定型マルチモーダルデータを最大のボトルネックであり、未開拓の宝だと規定した。PDF、動画、ログなど構造化されていないデータがRAGとエージェントシステムを台無しにするというのだ。[a16z Big Ideas 2026]

なぜ重要なのか？

AIインフラのパラダイムが変わりつつある。人間の速度に合わせられた既存システムは、エージェントが作るバースティで再帰的なトラフィックパターンに耐えられない。一つのエージェント目標がミリ秒単位で数千個の下位タスクをトリガーすると、レガシーデータベースはこれをDDoS攻撃と誤認する。[a16z Big Ideas 2026]

a16zが無視する領域も明確だ。単純なファインチューニングツールや一般的なSaaSは関心外だ。代わりに検索インフラが人々が考えるよりもはるかに重要だとLiは強調する。エージェントが正確なデータセマンティクスに継続的にアクセスするコンテキスト問題を解決してこそ、真のエンタープライズAIが可能になる。

今後どうなるのか？

エージェントネイティブインフラ構築が2026年の核心課題となる。コールドスタート減少、レイテンシ偏差除去、同時性数十倍増加が要求される。a16zはこの$150億で米国ベンチャーキャピタル市場の18%を占め、AIインフラ標準を定義しようとしている。[Crunchbase]

結局、勝者はエージェントワークロードのためのコントロールプレーンを再設計するスタートアップになるだろう。既存のクラウドインフラでは不可能だ。

よくある質問 (FAQ)

Q: a16zはAIインフラにいくら投資するのか？

A: 総$150億ファンドのうちインフラチームに$17億が配分された。これはアプリ($17億)、バイオヘルス($7億)、アメリカンダイナミズム($11.76億)、グロース($67.5億)など他のチームと共に運用される。インフラはAI、クラウドプラットフォーム、分散システムをターゲットとする。

Q: エージェントネイティブインフラとは何か？

A: エージェントが作る大規模同時実行、再帰的、バースティなワークロードを処理するように設計されたインフラだ。既存システムは予測可能な人間速度トラフィックに最適化されており、エージェントパターンを攻撃と誤認する。ルーティング、ロッキング、状態管理の調整が核心課題だ。

Q: a16zインフラチームの主要ポートフォリオは？

A: OpenAI、ElevenLabs($110億価値評価)、Cursor、Black Forest Labs、Ideogram、Falなどがある。Jennifer Liジェネラルパートナーがチームを率い、データシステム、開発者ツール、AIインフラに集中する。数十個の他の投資も進行中だ。

この記事が役に立ったならAI Digesterを購読してください。

参考資料

OpenAI vs Anthropic: スーパーボウル広告論争、サム・アルトマン自ら反論

by

OpenAI vs Anthropic: スーパーボウル広告論争

  • Anthropic、ChatGPTの広告ポリシーを批判
  • サム・アルトマン「不誠実だ」と反論
  • AI広告モデル論争本格化

何が起こったのか？

Anthropicがスーパーボウルの広告でChatGPTの広告導入を風刺した。[9to5Mac] 「広告がAIに入ってくる。しかしClaudeにはない」が核心だ。[Ad Age]

なぜ重要なのか？

サム・アルトマンは「前提が不誠実だ」と反論した。Anthropicを「権威主義的な会社」と攻撃した。[The Verge]

今後どうなるのか？

OpenAIは有料購読者には広告を入れない。AnthropicはClaudeを広告なしに維持する。

よくある質問 (FAQ)

Q: Anthropicのスーパーボウル広告は？

A: AIが助言していると突然広告をする場面でChatGPTを風刺した。Claudeは広告がないというメッセージだ。

Q: サム・アルトマンはなぜ反論したのか？

A: OpenAIは広告で描写された方式で広告を入れないと主張した。欺瞞的な広告だと批判した。

Q: ChatGPTの有料購読者も広告を見るのか？

A: いいえ。有料購読者には広告がない。無料ユーザーにのみ適用される。

この記事が役に立ったならAI Digesterを購読してください。

参考文献

サム・アルトマン、Anthropicのスーパーボウル広告に「面白かったが不誠実」と反論

by

Sam Altman、Anthropicのスーパーボウル広告に反撃

  • Altman「面白かったが不正直」と批判
  • Anthropic Claude、広告なしを宣言
  • AI広告の収益化論争

何が起こったのか？

Sam AltmanがAnthropicのスーパーボウル広告に反論した。Anthropicは、AIが会話中に広告を挟み込む場面を風刺し、「広告はAIに来るが、Claudeには来ない」と宣言した。[9to5Mac] Altmanは「面白かったが不正直だ」と反撃した。[X]

なぜ重要なのか？

Altmanの主張：「我々は無料アクセスに専念する。Anthropicは金持ちに高価な製品を売る。」[OfficeChai]

今後どうなるか？

OpenAIの広告テスト本格化時に判明する。無料ユーザー体験が鍵だ。

よくある質問 (FAQ)

Q: Anthropicの広告内容は？

A: AIが回答中に広告を挟み込む場面だ。

Q: OpenAIの広告計画は？

A: テスト中だが、侵入的な広告はしない。

Q: どちらが良いか？

A: OpenAIは無料拡大、Anthropicは有料最優先。

AI Digesterを購読してください。

参考資料

Resolve AI、1億2500万ドルの投資誘致でユニコーン企業に仲間入り：SRE自動化の新境地

by

16ヶ月でユニコーン、SRE自動化市場の勢力図が変わる

  • Resolve AI、シリーズAで1億2500万ドルを調達、10億ドルの企業価値を達成
  • Splunk出身の創業者たちが作った自律SREプラットフォーム
  • Coinbase、DoorDash、Salesforceなど20社以上の大企業顧客を獲得

何が起きたのか？

AIベースのSRE自動化スタートアップResolve AIがシリーズAラウンドで1億2500万ドルを投資され、10億ドルの企業価値を認められた。[TechCrunch] Lightspeed Venture Partnersがリード投資家として参加し、Greylock Partners、Unusual Ventures、Artisanal Ventures、A*が追加投資した。[Pulse 2.0]

会社を率いるのはSpiros Xanthos CEOとMayank Agarwalだ。2人ともOpenTelemetryの共同創始者であり、Splunkオブザーバビリティ事業部の主要人物だった。SplunkとVMwareで2回のイグジット経験がある。[Pulse 2.0]

なぜ重要なのか？

SRE(Site Reliability Engineering)は、プロダクション環境で発生する障害を診断し解決する作業だ。従来は人が直接ログを分析し原因を把握する必要があった。Resolve AIはこの過程をAIエージェントで自動化する。

開発段階に集中するGitHub CopilotやCursorと異なり、Resolve AIはプロダクション運用に特化している。CEO Spiros Xanthosは「ソフトウェアエンジニアリングの次のフロンティアはプロダクション運用にAIを適用すること」だと述べた。コード、インフラ、テレメトリを網羅するマルチエージェントシステムが核心だ。

ステルスモードから抜け出して16ヶ月でユニコーンになったという点も注目に値する。Coinbase、DoorDash、MongoDB、Salesforce、Zscalerなど20社以上の大企業がすでに顧客だ。大企業がSRE自動化に実際にお金を使い始めたというサインだ。

今後どうなるのか？

投資金は製品開発の加速化とエンジニアリング/GTMチームの拡大に使用される予定だ。オブザーバビリティ市場ですでに競争が激しい状況で、Resolve AIがSRE自動化という新しいカテゴリーを作り出せるか注目される。

Datadog、New Relicのような既存のオブザーバビリティ企業もAI機能を強化している。しかしResolve AIのように最初からAIエージェントベースで設計されたプラットフォームとの競争でどのような結果が出るかはまだ未知数だ。

よくある質問 (FAQ)

Q: Resolve AIはどんな会社ですか？

A: Resolve AIはAIエージェントを活用してプロダクション環境の障害を自動的に診断し解決するSRE自動化プラットフォームだ。OpenTelemetry共同創始者のSpiros XanthosとMayank Agarwalが設立した。

Q: 既存のオブザーバビリティツールと何が違うのですか？

A: DatadogやNew Relicはモニタリングとアラートに焦点を当てる。Resolve AIは一段階進んで障害原因を自動的に分析し解決策を提示したり、直接実行まで行う。

Q: どんな企業が使用していますか？

A: Coinbase、DoorDash、MongoDB、MSCI、Salesforce、Zscalerなど20社以上の大企業が顧客だ。ほとんどクラウドインフラが複雑でプロダクション安定性が重要な企業だ。

この記事が役に立ったならAI Digesterを購読してください。

参考資料

ギズモ：バイブコーディングで作るミニアプリのTikTok

by

ニューヨークのスタートアップ、Atma Sciencesが、バイブコーディングベースのミニアプリプラットフォームGizmoをリリースした。コーディングなしでプロンプトだけでインタラクティブコンテンツを作成できる。

Gizmoとは何か？

Gizmoは、TikTokスタイルの縦型フィードでミニアプリを共有するプラットフォームだ。ユーザーは、テキスト、写真、サウンド、タッチを活用したインタラクティブな体験を作成できる。AIが自然言語プロンプトを分析してコードを自動生成する。

どのように動作するのか？

コーディングの知識は全く必要ない。アイデアを自然言語で説明すると、AIがコードを生成してインタラクティブな体験に変換する。パズル、ミーム、アート、アニメーションなど、様々な形態のデジタルおもちゃを作成できる。

画面をタップしたりスワイプしたり、絵を描いたりドラッグしたりするなど、様々な方法で相互作用する。気に入ったGizmoにいいねやコメントを付けることができ、既存のGizmoをリミックスして自分だけのバージョンを作成することもできる。

成長の現状は？

2025年7月にiOSでリリース後、2026年初頭にAndroidに拡張した。現在、約60万件のインストールを記録しており、そのうち半分がアメリカのユーザーだ。2025年10月から12月まで312%の成長率を達成した。

Atma Sciencesは、Rudd Fawcett、Brandon Francisが共同創業した。CEO Josh Siegel、CTO Daniel Amitayが運営する。First Round Capitalなどから549万ドルのシード投資を誘致した。

FAQ

Gizmoの使用にコーディングスキルが必要ですか？

全く必要ない。自然言語でアイデアを説明すると、AIが自動的にコードを生成する。

どのプラットフォームで使用できますか？

iOSとAndroidの両方をサポートする。App StoreとGoogle Playから無料でダウンロードできる。

他の人のGizmoを修正できますか？

リミックス機能を通じて、既存のGizmoを基に自分だけのバージョンを作成できる。

Google年間売上高4000億ドル突破：AIが牽引した過去最高の業績

by

グーグル年間売上高4000億ドル突破：AIが牽引した過去最高の業績

  • アルファベット、史上初の年間売上高4000億ドル
  • グーグルクラウド48%成長
  • 2026年AIに1850億ドル投資予告

何が起こったのか？

アルファベットが2025年第4四半期の業績を発表した。年間売上高4000億ドルを初めて突破した。[CNBC] クラウドが48%急騰し、成長を牽引した。[Benzinga]

なぜ重要なのか？

クラウド48%はAWS、Azureを圧倒する。ジェミナイユーザー7.5億人突破、サービング費用78%削減も注目される。[9to5Google]

今後どうなるのか？

2026年設備投資1850億ドル予告。ビッグテックAI軍拡競争が本格化する。

よくある質問 (FAQ)

Q: クラウド急成長の理由は？

A: 企業がAI訓練と推論用クラウドを導入中だ。TPUとジェミナイが核心だ。

Q: 大規模投資の影響は？

A: 短期利益率圧迫だが、市場はAI投資を必須条件と見ている。

Q: ジェミナイ7.5億ユーザーの意味は？

A: ChatGPTとの競争で善戦中だ。プラットフォーム統合が有利だ。

この記事が役に立ったなら、AI Digesterを購読してください。

参考資料

グーグル、初の年間売上高4000億ドル突破：数字で見るAI投資

by

グーグル、史上初の年間売上高4000億ドル突破：数字で見るAI投資

  • 2025年年間売上高4000億ドル初の突破、前年比18%成長
  • グーグルクラウド48%急成長、年間700億ドルランレート
  • 2026年設備投資1750億ドル～1850億ドルに2倍拡大

何が起きたのか？

アルファベットが2025年第4四半期の業績を発表した。年間売上高4000億ドルを史上初めて突破した。[The Verge] 第4四半期の売上高は1138億ドルで、前年同期比18%増となった。[9to5Google]

グーグルクラウドが成長を牽引した。第4四半期176.6億ドルで年間ランレート700億ドルを超えた。YouTubeも年間600億ドルを達成した。ジェミナイ月間ユーザーは7.5億人だ。[Finviz]

なぜ重要なのか？

ビッグテックの中でもグーグルの圧倒的な地位を示している。検索広告の上にクラウドとAIを成功的に載せた結果だ。

クラウド48%成長が核心だ。AWS、Azureに次ぐ3位だが、成長速度は最も速い。AIワークロードの急増でTPUインフラが力を発揮している。

今後どうなるのか？

アルファベットは2026年設備投資で1750億ドル～1850億ドルを予告した。2025年のほぼ2倍だ。データセンターの拡張とAIチップの確保に集中する見込みだ。

よくある質問 (FAQ)

Q: グーグルクラウドはAWSに追いつけるのか？

A: シェアはAWSが先行しているが、成長率はグーグルが速い。48%はAWSとAzureを上回る。AIワークロードの強みを活かせば、差を縮めることができる。完全な逆転には時間がかかる。

Q: 1750億ドルの設備投資はどこに使われるのか？

A: ほとんどがAIインフラに投入される。データセンター建設、GPUとTPUの確保、電力インフラの拡充が主な項目だ。ジェミナイプラットフォーム強化のための基盤投資だ。

Q: ジェミナイ7.5億ユーザーはChatGPTと比較してどのようなレベルなのか？

A: ChatGPT週間アクティブユーザーは3億人以上だ。ジェミナイ7.5億は月間数値なので直接比較は難しい。Androidエコシステムのおかげで拡散速度が速い。

この記事が役に立った場合は、AI Digesterを購読してください。

参考文献

Google 年間売上高 4000億ドル突破：AIとクラウドが牽引した過去最高の業績

by

4000億ドル、史上初の金字塔

  • Alphabet、2025年年間売上高4000億ドルを史上初突破
  • Q4売上高1138億ドル、前年比18%成長
  • Google Cloudが48%の爆発的成長で牽引

何が起こったのか？

Alphabetが2025年第4四半期決算を発表した。Q4売上高は1138.3億ドルで、ウォール街の予想1114.3億ドルを上回った。[CNBC] 純利益は344.6億ドルで、前年同期比30%急増した。サンダー・ピチャイCEOはこれを「素晴らしい四半期」と表現した。[9to5Google]

年間売上高は、会社史上初めて4000億ドルを超えた。これはAIとクラウド事業の急成長が主な原動力だった。[TheWrap]

なぜ重要なのか？

最も注目すべきはGoogle Cloudの成果だ。売上高は176.6億ドルで、予想161.8億ドルを大きく上回った。前年比48%成長だ。クラウド契約バックログは2400億ドルで、1年前の2倍以上に跳ね上がった。[FinViz]

検索広告も健在だった。Google Searchの売上高は630.7億ドルで、前年の540.3億ドルから17%成長した。AI機能が検索体験を損なうことなく収益化に成功している証拠だ。

YouTubeは年間600億ドルの売上高を突破した。Q4広告売上高は113.8億ドルで9%成長したが、予想118.4億ドルには届かなかった。それでもプラットフォーム全体で見ると、Netflixレベルの事業になったと言える。[TheDesk]

今後どうなるのか？

Alphabetは2026年の設備投資(CapEx)を1750億～1850億ドルと予告した。上限基準で2025年の2倍以上だ。この資金はAIコンピューティング容量の拡大とクラウド需要への対応に使われる。Google DeepMindの研究インフラ拡張も含まれる。

AI投資競争が過熱した状況で、これほどの賭けは市場先取りの意思表示だ。問題は投資対効果の回収速度だ。2026年下半期からこの投資が業績にどう反映されるかが鍵となるだろう。

よくある質問 (FAQ)

Q: Googleの2025年年間売上高は正確にはいくらか？

A: Alphabetは2025年年間売上高が4000億ドルを超えたと発表した。正確な数値は公式年間報告書で確認可能だ。これは会社設立以来初めて達成した金字塔だ。

Q: Google Cloudがなぜこんなに急速に成長したのか？

A: AIワークロードの需要急増が主な原因だ。企業が独自のAIモデルのトレーニングと推論のためにクラウドインフラに投資している。AlphabetのAIチップとインフラが競争力を見せている。

Q: 2026年の投資規模が2025年の2倍である理由は？

A: AIコンピューティングインフラ構築に天文学的な費用がかかる。GPU、データセンター、電力インフラすべて大規模な先行投資が必要だ。クラウド顧客の需要が急増し、容量確保が急務となった。

この記事がお役に立てば、AI Digesterを購読してください。

参考文献