世界を動かす技術を、日本語で。

Wolfram技術をLLMシステムの基盤ツールとして利用可能にする

概要

  • LLM は多用途だが 精密な計算 は苦手
  • Wolfram Language はLLMの弱点を補う 基盤ツール
  • Computation-augmented generation (CAG) でLLMを強化
  • APIやサービス で簡単に統合可能
  • 今後の AI開発の重要な方向性

Foundation Modelsに必要な基盤ツール

  • LLM は多様なタスクに対応し、人間らしい応答が可能
  • しかし 精密な計算深い知識 には限界
  • Wolfram Language は40年以上かけて開発された 計算基盤ツール
  • あらゆる分野の アルゴリズム・データ・手法 を統合
  • 科学・技術など幅広い領域で活用実績
  • AIやLLM もこの技術の恩恵を受けられるように進化
  • LLMと基盤ツールの組み合わせで より強力なAI が実現
  • Wolfram Language はAIが計算的に「思考」し「推論」するための 最適な媒体
  • 他システムやサービスとの 統合ハブ 機能も提供

LLMと基盤ツール統合の現状

  • 2023年1月、 Wolfram|AlphaChatGPT の連携案を発表
  • 2ヶ月後に ChatGPT用Wolframプラグイン をリリース
  • 当初はLLMのエコシステムが未成熟で、本格的な統合は困難
  • LLMが 深い計算や正確な結果 を自力で出せるかは疑問
  • 3年を経て、LLMの コア能力と限界 が明確化
  • LLMの価値向上 は他ツールとの連携にかかっているという認識が広がる
  • LLMと基盤ツールの統合 の重要性が増大

Computation-Augmented Generation (CAG) の導入

  • CAG はLLMの生成プロセスに リアルタイムで計算能力 を注入
  • 従来の RAG (Retrieval-Augmented Generation)は既存文書から情報を抽出
  • CAG は無限に計算で生成可能な情報をLLMに提供
  • CAG技術 は複雑だが、既存LLMシステムへ簡単に統合可能
  • 本日より CAG対応サービス を正式リリース
  • すべてのLLMシステムが Wolfram Foundation Tool を利用可能に

基盤ツールへのアクセス方法

  • MCP Service

    • MCP対応LLMシステム から即時呼び出し可能
    • Web APIとローカルWolfram Engine版を用意
  • Agent One API

    • LLM基盤モデルWolfram Foundation Tool を組み合わせた「ユニバーサルエージェント」
    • 既存のLLM APIの代替として簡単導入
  • CAG Component APIs

    • LLMシステム向けに きめ細かい統合 が可能なAPI
    • クラウド/オンプレミス 両対応
  • 詳細な機能リストや連携方法 は公式サイトやパートナーシップ窓口で案内

今後の展望

  • LLMと基盤ツールの緊密な統合 がAIの進化を加速
  • CAG は現時点で最も実用的なアプローチ
  • 今後も 新技術・新サービス の開発を継続
  • AIの計算力強化 が社会全体のイノベーションを推進

Hackerたちの意見

Mathematicaが好きで、よく使ってるんだけど、Claude Codeが使うツールとしてはPythonの方がいいと思う。Wolframで生成されたスクリプトは、どれもPythonより遅くて、答えも悪かった。Wolframの人たちは頑張ってるけど、今のところあんまり良い結果は出てないね。

それって、何が問題だと思う?

俺が使ってた頃、Mathematicaは積分を見つける能力がすごかったんだよね。Pythonはそこに追いついたの?

Sean CarrollのポッドキャストでStephen Wolframとの素晴らしいディスカッションがあったよ。聞いてみたら、Wolframに対する印象がすごく良くなった。彼は自由な発想を持つ、ちょっと変わった数学者であり科学者で、若い頃から真剣な仕事を始めたんだ。今でも若々しいクリエイティブなアプローチで思考や科学に取り組んでる。LLMが彼のツールとうまく組み合わさるといいな。

Stephen Wolframは、50年後にもまだ覚えられている数少ない知識人の一人になると思う。

彼はYouTubeでWolfram Alphaの(内部の)製品会議をライブストリーミングしてるよ。見るのがすごく面白い。何年も壁の花みたいに見てる。

他の人の検索を省くために、Wolframとのポッドキャストを紹介するね。『Stephen Wolfram on Computation, Hypergraphs, and Fundamental Physics』 - https://podbay.fm/p/sean-carrolls-mindscape-science-society-... (2時間40分)彼の仕事と人柄が好きなんだ。熱狂的なファンではないけど、彼は今活躍している歴史的に重要なコンピュータ科学者や哲学者の一人だと思う。たまに傲慢なところは目をつぶれるし、数十年にわたって真実と知識を追求している本物の独創的な思考者だって認めてるよ。

彼はずっとAIの世界にいるね。2009年頃のWolfram Alphaのアイデアは、自然言語をアルゴリズムに変換することだった。2016年にAI倫理に関するパネルで彼にニューヨークでちょっと会ったけど、彼は本当に鋭い人だよ。

LLMの研究エージェントのツールとしてWolfram Alphaを使ってみたけど、GoogleとPythonだけで解決できるタスクしか見つからなかった。

確かに、理論的にはどんな数学の問題も、チューリング完全なプログラミング言語で解けるよね。ここでのポイントは、特定の問題領域において、Mathematicaの方がPythonよりも効率的だったり、人間にとって理解しやすかったりするかもしれないってことだと思う。

Wolframが実際にPython+Googleを上回るのは、記号的なタスクだね。正確な代数の簡約、閉じた形の積分、形式的な冪級数、特定の領域での方程式の解決など。数値計算に関しては、確かにPythonが勝ってる。でも、x^2-1 = (x+1)(x-1)という保証が必要な場合、浮動小数点の近似ではなく、Wolframは別のカテゴリーに入る。問題は、LLMがそのようなケースにどれだけ頻繁に直面するかで、そのオーバーヘッドを正当化できるかどうかだね。

明らかにここでの使い道は深い数学的研究だね。LLMが高次の概念に焦点を当てて推論できるから。例えば、問題の一部を多項式の選択肢に還元できるなら、どの選択肢が実数解を持つかを瞬時に「知っている」ことが役立つ。Pythonの構文やGoogleの結果でコンテキストウィンドウを汚す必要はないからね。

Hacker Newsで議論の続きを見る