アメリカの某物理学者がo1モデルに対して嫌味ったらしく、AIが苦手なタスクを解かせて失敗させて「これがPhDレベルww」と煽っていた
そもそも、AIがなぜ具体的な知識問題や計算問題が苦手かというと、言語推論で解ける範疇を超えるから
AIに線型計画法を要する応用数学の問題を定式化せよと言えば、見事にモデルを完成させるだろう
しかし具体的な計算をせよと言えば、失敗するのが目に見えている
この「アルゴリズムの実行」の部分を、wolfram alphaやgurobi optimizerなどの代替ツールの入出力に置き換え、AIがツールを使えるようにすればもっと高度なことができるようになるだろう
プログラミング言語の入出力を直にAIが使えるようにする方法もある
o1ってpythonも使わせてもらえないの?かわいそうにねぇ