名前は綺麗だけど、中身はかなり硬派な履修指導AIの研究だよ。大学のアドバイザー不足を解決しようとしてるんだ。

だよね。アドバイザー1人に対して学生が300人以上いることも珍しくないらしい。だから、AIに代わりをやってもらおうって話なんだけど、普通のAIだと嘘をついたりルールを間違えたりするのが問題なんだ。

そこでこの論文が提案してるのが「ニューロシンボリックAI」だ。LLMの「言葉の流暢さ」と、Prologっていうプログラミング言語を使った「論理的な厳密さ」を合体させてるんだよ。

まあ、イメージはそんな感じ。LLMが学生の質問を理解して、裏側ではPrologが「この授業は前提科目をクリアしてるか」とか「単位の上限を超えてないか」を完璧にチェックする。だから嘘をつかないんだ。

データベースの作り方からこだわってるんだ。「BCNF」っていう、データの矛盾が起きないように整理された形式を使っていて、さらに「5W+1H」のテンプレートで情報を整理してLLMに渡してるんだよ。

正解。そうやって情報を整理することで、LLMが変な推論をしないようにガイドしてるんだ。実験結果もすごくて、普通のLLMより正確さが36%も上がったし、何より爆速なんだよ。

比じゃないよ。普通のLLMが1分近くかかる質問でも、Auroraなら0.7秒で答えちゃう。83倍も早いんだ。これならスマホでサクサク履修相談できるよね。

いや、論文では「ルーチンワークをAIに任せて、人間はもっと深い相談に時間を割けるようにする」のが目的だって言ってる。AIにはまだ、学生の個人的な悩みまで汲み取るのは難しいからね。

それは「範囲外の質問」として、Auroraに丁寧に断られるのがオチだと思うよ。ちゃんと勉強しなさい。