■LLMから外部ツールへの接続

アメリカの某物理学者がo1モデルに対して嫌味ったらしく、AIが苦手なタスクを解かせて失敗させて「これがPhDレベルｗｗ」と煽っていた

そもそも、AIがなぜ具体的な知識問題や計算問題が苦手かというと、言語推論で解ける範疇を超えるから

わかりやすい例が線型計画法である

AIに線型計画法を要する応用数学の問題を定式化せよと言えば、見事にモデルを完成させるだろう

しかし具体的な計算をせよと言えば、失敗するのが目に見えている

つまり言語推論はアルゴリズムの実行能力が弱い

この「アルゴリズムの実行」の部分を、wolfram alphaやgurobi optimizerなどの代替ツールの入出力に置き換え、AIがツールを使えるようにすればもっと高度なことができるようになるだろう

プログラミング言語の入出力を直にAIが使えるようにする方法もある

十分な長さの入出力と記憶を保持できるなら、AIに好きなものを自動的に作らせることも可能になる

実用面から言えば、Leanのような言語へ入出力できるAIがあれば、より厳密な数学的定式化が可能になる

Permalink | 記事への反応(1) | 13:08

ツイートシェア