最近, 大規模言語モデル(Large Language Model, LLM)を利用した AI が流行しています.
AI を利用するときに注意すべきは, 出された結果が正しいか否かを判定する能力です. ここで紹介した Maple もそうですが, 完璧な結果を出さないこともあります. その結果が大丈夫なものか, 不完全なものかをチェックする能力が, 利用する側に要求されます. 特に, 最近の LLM を用いた AI では, 間違った情報をネットから学習して, 間違った結果を答えることがあるようです.
また, どのような結果を要求するのか? そのためには, どう利用すれば良いのか? というのも難しい問題です.
今回の資料で, の 7つの根を計算させました. 一つの表示は,
Maple が最初に提示した
,
です. しかし, Galois(ガロア)理論を勉強すると,
の根は, ベキ根を利用して表示できることがわかります.
そのためには, この資料に提示したように
を利用して,
を 3次式の積に因数分解する必要があります.
ところで, 上の 6次式が
を利用すると 3次式の積に因数分解できることは,
どのようにして分かるのでしょうか? もちろん, Galois理論を利用すればわかります.
すなわち,
の 7つの根をベキ根で表そうとすると, コンピュータを利用しても,
このような高度な数学の知識を要求されるのです.
上に述べたようなことは LLM を利用した AI でも同様で, AI を利用する側が AI を適切に教育しないと, 望みの結果が得られないことが起こります. 皆さんは, これから AI と付き合うことになると思いますが, AI といっても所詮機械で, 賢く利用する必要があるのです.
2024-07-06