2024-09-27

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

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

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

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

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

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

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

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

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

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

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

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん